Commit Log

commit description author date
c4fb52c19da9 Add ZDD join operation Steve Losh Sun, 30 Oct 2016 17:52:26 +0000
c25e7dae8f39 Add variadic ZDD intersection/union wrappers Steve Losh Sat, 29 Oct 2016 17:09:51 +0000
ecd4aaf2cc10 ZDD intersection Steve Losh Sat, 29 Oct 2016 17:02:02 +0000
8eace5aaf113 Get some basic ZDD stuff up and running with triviabdd Steve Losh Sat, 29 Oct 2016 16:34:06 +0000
0306f46e89fb Tear out cudd Steve Losh Sat, 29 Oct 2016 14:50:01 +0000
c3c1d21c6fa8 Try out trivialib.zdd Steve Losh Sat, 29 Oct 2016 14:48:46 +0000
6b837b9e86b1 Add zdd.png to .hgignore. Steve Losh Sat, 29 Oct 2016 14:48:36 +0000
5f26bbe7eab3 Start the CFFI/SWIG/CUDD clown rodeo Steve Losh Thu, 27 Oct 2016 15:45:42 +0000
71d4c16c607c Load CUDD as a CFFI lib Steve Losh Thu, 27 Oct 2016 14:38:18 +0000
8b62550cc554 Add CUDD building to makefile Steve Losh Thu, 27 Oct 2016 14:34:01 +0000
06c36649ced9 Add build to .hgignore. Steve Losh Thu, 27 Oct 2016 14:33:44 +0000
67daea4e67cb Don't bother using uninterned keyword symbols Steve Losh Thu, 27 Oct 2016 14:18:14 +0000
80c4579fefce Add ZDD package Steve Losh Thu, 27 Oct 2016 14:16:07 +0000
b21cde7784a1 Push rule tree head sets into leaves Steve Losh Thu, 13 Oct 2016 22:34:04 +0000
183f355ca260 Initial sketch of rule trees Steve Losh Thu, 13 Oct 2016 22:23:47 +0000