Age | Commit message (Collapse) | Author |
|
|
|
for multiple-query cases
|
|
various cleanups; renamed numChildren() to getNumChildren() and added it to NodeBuilder interface; fancier, non-exponential CNF conversion with variable introduction is still buggy (?)
|
|
|
|
NodeBuilder. outstanding SEGVs fixed
|
|
repository history; re-ran update-copyright.pl; cleaned up some things with make
|
|
optimized expressions and the internal expression manager.
|
|
|
|
expressions, output classes, and minisat
|
|
|
|
|
|
|
|
|
|
improvements
|
|
|
|
|
|
|