Age | Commit message (Collapse) | Author | |
---|---|---|---|
2010-02-02 | Switched cnf conversion to go through CnfStream. | Tim King | |
2010-01-30 | cnf conversion (variable-introducing), cleanups, fixes to minisat calling ↵ | Morgan Deters | |
for multiple-query cases | |||
2010-01-29 | fixed CNF conversion, and more modular; CNF conversion command line option; ↵ | Morgan Deters | |
various cleanups; renamed numChildren() to getNumChildren() and added it to NodeBuilder interface; fancier, non-exponential CNF conversion with variable introduction is still buggy (?) |