yap-6.3

Archived

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 0ed3ee4fc4 enable path expansion by default		2015-04-24 10:03:44 -06:00
..
problog	enable path expansion by default	2015-04-24 10:03:44 -06:00
problog_examples	configuratio fixes	2015-02-17 20:26:46 +00:00
simplecudd	try to clean-up makefiles and autoconfs	2014-10-26 17:39:52 +00:00
simplecudd_lfi	infinity, try to fix the ffsll mess, warnings	2015-01-05 16:06:32 +00: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	typo	2014-02-13 02:08:16 +00:00
problog_lbdd.yap	gradient is more complex to compute	2013-02-26 09:39:56 -06:00
problog_learning_lbdd.yap	back to life, ProbLog-I	2014-10-12 00:33:34 +01:00
problog_learning.yap	allow ProbLog to use lbdd.	2012-04-26 13:52:09 +01:00
problog_lfi.yap	enable path expansion by default	2015-04-24 10:03:44 -06:00
problog.tex	ProbLog Manual	2010-08-31 13:30:40 +02:00
problog.yap	doc support	2015-01-04 23:58:23 +00: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