Commit Graph

89 Commits

Author SHA1 Message Date
Vítor Santos Costa
1b8cd91618 cudd integration 2015-06-19 01:20:49 +01:00
Vítor Santos Costa
e8e33e405a join cud packages 2015-06-19 01:00:18 +01:00
Vítor Santos Costa
c26b5f3175 increase the ignore list 2015-06-17 23:49:02 +01:00
Vítor Santos Costa
0ed3ee4fc4 enable path expansion by default 2015-04-24 10:03:44 -06:00
Vítor Santos Costa
3b4226bda1 cmake work 2015-04-21 16:12:18 -06:00
Vítor Santos Costa
76cd423784 cmake support for bdd package 2015-04-20 01:21:19 +01:00
Vitor Santos Costa
252a2b7868 bdd stuff 2015-03-08 02:15:53 +00:00
Vítor Santos Costa
4386c42d02 improve cudd with bdd printing -> nodes, and true=1 false=0 2015-03-04 09:50:15 +00:00
Vitor Santos Costa
4a5a3d833a fix tyes. 2015-01-27 03:25:56 +00:00
Vítor Santos Costa
3164ed2d61 doc support 2015-01-04 23:58:23 +00:00
vscosta
c7a3836b2c WIN32 support
Ugh
2014-11-03 00:13:34 +00:00
Vítor Santos Costa
2053c44054 try to clean-up makefiles and autoconfs 2014-10-26 17:39:52 +00:00
Vítor Santos Costa
882eaca30c updates to documentation 2014-09-12 18:50:04 -05:00
Vítor Santos Costa
3009987985 update docs 2014-09-11 14:06:57 -05:00
Vítor Santos Costa
87e36bcfe2 cleanup 2014-09-09 23:55:13 -05:00
Vitor Santos Costa
47d436fc13 WIN32 with threads 2014-03-06 13:34:35 +00:00
Vítor Santos Costa
1d27d22ef0 big makefile cleanup 2014-02-13 01:58:48 +00:00
Vitor Santos Costa
2bb21e9e1b clean up makefile 2014-02-10 23:30:21 +00:00
Vitor Santos Costa
0391988788 support cross-compilation for windows 2014-01-23 01:46:16 +00:00
Vítor Santos Costa
1ede2112c6 distributed configure 2013-11-03 23:55:09 +00:00
Vitor Santos Costa
1c9167a6c5 small fixes 2013-10-03 11:28:09 +01:00
Vitor Santos Costa
448e2c88e1 document BDD package 2013-09-30 15:45:01 +01:00
Vitor Santos Costa
d0858c0d0c remove debugging 2013-03-10 17:24:47 +00:00
Vitor Santos Costa
59d97f83b4 handle negation in tries and add debugging hooks 2013-02-26 09:39:18 -06:00
Vítor Santos Costa
6f6f578578 fix not handling 2013-02-20 13:10:20 -06:00
Vítor Santos Costa
e529e79582 more progress 2012-11-27 12:10:41 +00:00
Vitor Santos Costa
d5ed379068 recognise weird trie. 2012-08-08 03:59:37 +01:00
Vitor Santos Costa
d78a55ca83 fix cudd support. 2012-07-08 07:45:16 -05:00
Vítor Santos Costa
d68ef3f5a1 fix empty tries. 2012-05-17 09:56:49 +01:00
Vítor Santos Costa
fd755f0b7e allow ProbLog to use lbdd. 2012-04-26 13:52:09 +01:00
Vitor Santos Costa
32a905bc8b ddnnf support 2012-04-23 07:13:25 -05:00
Vitor Santos Costa
22f702f8e4 ddnnfs. 2012-04-20 16:43:30 -05:00
Vitor Santos Costa
178ad27db8 better understanding of ddnnf. 2012-04-20 07:07:19 -05:00
Vítor Santos Costa
40ce9feb76 bdd experiments 2012-04-16 23:47:36 +01:00
Vítor Santos Costa
3d216cf9db iextend bdd support. 2012-04-03 15:00:22 +01:00
Vítor Santos Costa
3563dcbf03 control for very large bdds. 2012-03-30 09:50:18 +01:00
Vítor Santos Costa
295cf24f5c extend functionality. 2012-03-27 14:57:43 +01:00
Vítor Santos Costa
07335ce047 clp(bn) support 2012-03-22 23:24:09 +00:00
Vítor Santos Costa
6ad2c9b3a9 experimental BDD interface package. 2012-03-22 21:36:44 +00:00