summaryrefslogtreecommitdiff
path: root/test/regress/regress0/wiki.05.cvc
AgeCommit message (Expand)Author
2011-10-29Support for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF command, SmtEngine::g...Morgan Deters
2011-10-28proof regressionsMorgan Deters
2010-10-10additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp...Morgan Deters
2010-04-04* Node::isAtomic() now looks at an "atomic" attribute of argumentsMorgan Deters
2010-02-09Changes to the CNF conversion and the SAT solver. All regression pass now, an...Dejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback