Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.
|Comment:||Added ===, tautology, satisfiable methods (no tests yet). Replaced 'constant' and 'copy' with a single ':=' method.|
|Timelines:||family | ancestors | descendants | both | trunk|
|Files:||files | file ages | folders|
|User & Date:||kennykb 2013-12-01 23:26:26|
|23:27||Removed pure-Tcl superclass for bdd: not sure where I was going with that. check-in: af2be65f95 user: kennykb tags: trunk|
|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|
Changes to generic/tclBdd.c.
Changes to library/tclbdd.tcl.
Changes to tests/bdd.test.