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.

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
..
Example.c	upgrade to more recent version of ProbLog.	2010-01-14 15:46:46 +00:00
general.c	upgrade to more recent version of ProbLog.	2010-01-14 15:46:46 +00:00
general.h	upgrade to more recent version of ProbLog.	2010-01-14 15:46:46 +00:00
LICENCE	simplecudd interface	2009-03-09 00:42:12 +00:00
Makefile.in	- slots should be considered as always live for gc.	2010-06-01 00:40:58 +01:00
ProblogBDD.c	upgrade to more recent version of ProbLog.	2010-01-14 15:46:46 +00:00
simplecudd.c	upgrade to more recent version of ProbLog.	2010-01-14 15:46:46 +00:00
simplecudd.h	upgrade to more recent version of ProbLog.	2010-01-14 15:46:46 +00:00
SimpleCUDD.pl	simplecudd interface	2009-03-09 00:42:12 +00:00