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

Age	Commit message (Expand)	Author
2012-07-07	Various fixes to documentation---typos, some incomplete documentation fixed, ...	Morgan Deters
2012-06-11	Merge from quantifiers2-trunkmerge branch.	Morgan Deters
2012-05-27	Committing the work on equality engine, I need to see how it does on the regr...	Dejan Jovanović
2012-05-27	Another expensive function call in a Debug line	Clark Barrett
2012-05-16	Changes to SAT solver:	Dejan Jovanović
2012-05-15	Fix to shared terms visitor.	Tim King
2012-05-14	fixes for shared term registration. previously the type was not considered wh...	Dejan Jovanović
2012-05-14	fixing up preregistration again	Dejan Jovanović
2012-05-08	Merging in bvprop branch, with proper bit-vector propagation.	Liana Hadarean
2012-05-04	Guard for expensive Debug trace	Clark Barrett
2012-05-03	Some cleanup starting off from trying to understand the sharing code. Changes...	Dejan Jovanović
2012-04-28	New LogicInfo functionality.	Morgan Deters
2011-09-15	additional stuff for sharing,	Dejan Jovanović