|
Name |
|
Date |
Size |
#Lines |
LOC |
| .. | | 07-Jan-2012 | - |
| problog/ | H | 06-Feb-2012 | - | 13,138 | 11,955 |
| problog_examples/ | H | 07-Jan-2012 | - | 821 | 698 |
| simplecudd/ | H | 07-Jan-2012 | - | 5,519 | 3,622 |
| simplecudd_lfi/ | H | 07-Jan-2012 | - | 6,273 | 3,863 |
| LICENSE | H A D | 18-Oct-2010 | 8.5 KiB | 183 | 144 |
| Makefile.in | H A D | 06-Feb-2012 | 2.6 KiB | 94 | 69 |
| README | H A D | 18-Oct-2010 | 323 | 13 | 8 |
| aproblog.yap | H A D | 17-Aug-2011 | 43.9 KiB | 1,299 | 1,187 |
| dtproblog.yap | H A D | 16-Dec-2010 | 29.3 KiB | 842 | 760 |
| problog.tex | H A D | 18-Oct-2010 | 18.5 KiB | 519 | 391 |
| problog.yap | H A D | 06-Feb-2012 | 118.3 KiB | 3,687 | 3,319 |
| problog_learning.yap | H A D | 26-Apr-2011 | 46.6 KiB | 1,527 | 1,304 |
| problog_lfi.yap | H A D | 06-Feb-2012 | 38.6 KiB | 1,185 | 1,007 |
README
1To compile ProbLog call
2 make
3To clean the directory call
4 make clean
5
6The make file will recursively call the make file of SimpleCudd and Cudd.
7And it will finally copy the binary executable ProblogBDD to the main directory.
8
9For general information on ProbLog, please see
10
11 http://dtai.cs.kuleuven.be/problog
12
13