summaryrefslogtreecommitdiff
path: root/test/regress/regress0/wiki.01.cvc
AgeCommit message (Expand)Author
2013-11-11Change exit status to be more consistent with other command-line tools: 0 suc...Morgan 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