yap-6.3

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.

History

Vítor Santos Costa 9b0b6ec649 fix stop_low_level_trace. P Moura request for (?).		2012-05-02 10:09:26 +01: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	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
LICENSE	update to version 07312009 of ProbLog.	2009-07-31 12:18:03 -05:00
Makefile.in	new lbdd stuff.	2012-04-27 15:32:57 +01:00
README	New ProbLog Distribution Version	2010-08-26 14:41:18 +02: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
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
problog_lbdd.yap	allow ProbLog to use lbdd.	2012-04-26 13:52:09 +01:00
problog_learning.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_lfi.yap	Latest ProbLog	2012-01-11 14:44:59 +00: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