This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
yap-6.3/packages/ProbLog
Vítor Santos Costa 79d1bf5eec Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
Conflicts:
	OPTYap/opt.config.h
	OPTYap/opt.structs.h
2011-11-30 13:24:12 +00:00
..
problog delete_file changed in 6.3. 2011-09-20 14:50:24 +01:00
problog_examples update latest releaase of ProbLog 2011-09-05 03:07:15 +02:00
simplecudd update to recent ProbLog. 2011-06-26 23:13:43 +01:00
simplecudd_lfi update to recent ProbLog. 2011-06-26 23:13:43 +01:00
aproblog.yap update latest releaase of ProbLog 2011-09-05 03:07:15 +02:00
dtproblog.yap Newest ProbLog version 2010-12-16 14:30:50 +01:00
LICENSE update to version 07312009 of ProbLog. 2009-07-31 12:18:03 -05:00
Makefile.in update latest releaase of ProbLog 2011-09-05 03:07:15 +02:00
problog_learning.yap update to recent ProbLog. 2011-06-26 23:13:43 +01:00
problog_lfi.yap Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-11-30 13:24:12 +00:00
problog.tex ProbLog Manual 2010-08-31 13:30:40 +02:00
problog.yap Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-11-30 13:24:12 +00:00
README New ProbLog Distribution Version 2010-08-26 14:41:18 +02:00

To compile ProbLog call
   make
To clean the directory call
   make clean

The make file will recursively call the make file of SimpleCudd and Cudd.
And it will finally copy the binary executable ProblogBDD to the main directory.

For general information on ProbLog, please see
    
    http://dtai.cs.kuleuven.be/problog