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-14	The "no-tears-in-competition-mode" commit. Change all (non-driver, non-SAT-s...	Morgan Deters
2012-06-13	Added witnesses to Constraints.	Tim King
2012-06-13	- Added a loop to internally assert constraints that are marked as true.	Tim King
2012-05-22	This commit merges in the branch arithmetic/cprop.	Tim King
2012-05-04	- This fixes a problem where simplex produced the same conflict in the single...	Tim King
2012-05-03	Some cleanup starting off from trying to understand the sharing code. Changes...	Dejan Jovanović
2012-04-24	This commit merges in the branch branches/arithmetic/congruence into trunk. H...	Tim King
2012-04-17	Merges branches/arithmetic/atom-database r2979 through 3247 into trunk. Belo...	Tim King