diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
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.
98f68edd34
yap-6.3/packages/ProbLog
History
Costa Vitor 8ba1de7250 fixes for external CUDD compatibility.
2012-07-16 11:58:21 -05:00
..
problog new support file. 2012-04-27 15:32:17 +01:00
problog_examples fix problog experiment. 2012-04-27 16:30:02 +01:00
simplecudd fixes for external CUDD compatibility. 2012-07-16 11:58:21 -05:00
simplecudd_lfi fixes for external CUDD compatibility. 2012-07-16 11:58:21 -05: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 use standard paths for installing examples. 2012-07-06 18:56:05 -05:00
problog_lbdd.yap allow ProbLog to use lbdd. 2012-04-26 13:52:09 +01:00
problog_learning_lbdd.yap fix problog experiment. 2012-04-27 16:30:02 +01:00
problog_learning.yap allow ProbLog to use lbdd. 2012-04-26 13:52:09 +01:00
problog_lfi.yap Latest ProbLog 2012-01-11 14:44:59 +00:00
problog.tex ProbLog Manual 2010-08-31 13:30:40 +02:00
problog.yap fix stop_low_level_trace. 2012-05-02 10:09:26 +01:00
README New ProbLog Distribution Version 2010-08-26 14:41:18 +02:00

README 

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