tclbdd

Timeline
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

15 ancestors of [f7a47671e9]

2013-12-01
23:26
Added ===, tautology, satisfiable methods (no tests yet). Replaced 'constant' and 'copy' with a single ':=' method. check-in: f7a47671e9 user: kennykb tags: trunk
23:14
Implemented foreach_sat (no tests yet). Fixed a bug where restrict cannot handle variables out of sequence, and added a test case for same. Made the 8-queens example use foreach_sat to enumerate the solutions. check-in: 5b78565cad user: kennykb tags: trunk
01:09
Add test cases for Restrict and fix the bugs exposed thereby. check-in: 1ff84c529c user: kennykb tags: trunk
2013-11-30
17:50
remove dribble from bdd-12.13 check-in: 8f7b52fae4 user: kennykb tags: trunk
17:38
add circuit verification example check-in: 1513a7c798 user: kennykb tags: trunk
16:34
Add 8-queens example as a test. check-in: 2cbd4f3ba6 user: kennykb tags: trunk
04:28
Added missing bddInt.h (whoops\!). Added code for AllSat - no Tcl support yet, so entirely untested. check-in: b11e4e2f87 user: kennykb tags: trunk
01:30
add Restrict - no tests yet check-in: d889c00657 user: kennykb tags: trunk
2013-11-29
16:16
sort methods correctly check-in: 37bd59506a user: kennykb tags: trunk
16:13
Added negation and many more tests check-in: e6ef0aca88 user: kennykb tags: trunk
04:49
filled in method bodies, some tests. check-in: 1c0974e815 user: kennykb tags: trunk
2013-11-28
03:52
Development checkpoint. Add many methods to the bdd system class. No tests yet. check-in: 14905fca9f user: kennykb tags: trunk
2013-10-05
22:01
try to constrain the old code brought over - bring only the minimum needed to link and test check-in: f0a5b96c21 user: kennykb tags: trunk
21:43
Checkpoint: construction and destruction of a BDD system in TclOO. check-in: ec56155d6d user: kennykb tags: trunk
17:46
Initial commit of empty package. check-in: 00f956a43e user: kennykb tags: trunk
17:26
initial empty check-in check-in: 43ed3988f2 user: kennykb tags: trunk