5 Commits

Author	SHA1	Message	Date
Theofrastos Mantadelis	90041919d4	fixed problogbdd compilation warnings	2010-12-17 12:23:03 +01:00
Theofrastos Mantadelis	1342d2dab2	SimpleCUDD versioning	2010-10-06 13:24:25 +02:00
Theofrastos Mantadelis	c1c02d1e95	Correcting some versioning issues	2010-10-01 12:04:45 +02:00
Theofrastos Mantadelis	69dbf72553	Various ProbLog improvements	2010-10-01 11:40:24 +02:00
Theofrastos Mantadelis	0c83231d0e	New ProbLog Distribution Version - all	2010-08-26 14:44:10 +02:00