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.
yap-6.3/packages/ProbLog
History
Vítor Santos Costa 247d59f0ef - slots should be considered as always live for gc. 
- make sure slots do not die when they should be live, and vice-versa.
- improve a little on foreign_frame
2010-06-01 00:40:58 +01:00
..
examples
upgrade to more recent version of ProbLog.
2010-01-14 15:46:46 +00:00
learning
upgrade to more recent version of ProbLog.
2010-01-14 15:46:46 +00:00
problog
fix fast_proofs in ProbLog (obs from A Kimmig, F Riguzzi).
2010-04-05 12:20:59 +01:00
simplecudd
- slots should be considered as always live for gc.
2010-06-01 00:40:58 +01:00
learning.yap
upgrade to more recent version of ProbLog.
2010-01-14 15:46:46 +00:00
LICENSE
update to version 07312009 of ProbLog.
2009-07-31 12:18:03 -05:00
Makefile.in
- slots should be considered as always live for gc.
2010-06-01 00:40:58 +01:00
problog.yap
another fix to new nb_getval.
2010-03-31 15:50:36 +01:00
README
upgrade to more recent version of ProbLog.
2010-01-14 15:46:46 +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.