cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Age	Commit message (Expand)	Author
2020-03-31	Rename checkValid/query to checkEntailed. (#4191)	Aina Niemetz
2013-12-23	Proof-checking code; fixups of segfaults and missing functionality in proof g...	Morgan Deters
2013-11-11	Change exit status to be more consistent with other command-line tools: 0 suc...	Morgan Deters
2011-10-29	Support for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF command, SmtEngine::g...	Morgan Deters
2011-10-28	proof regressions	Morgan Deters
2010-10-10	additional 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 arguments	Morgan Deters
2010-02-09	Changes to the CNF conversion and the SAT solver. All regression pass now, an...	Dejan Jovanović