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

Age	Commit message (Collapse)	Author
2014-05-28	Minor changes to script. Disable cbqi sat.	ajreynol

2014-05-28	Add option to avoid dumping partial models/proofs.	Andrew Reynolds

2014-05-25	Improve quantifier instantiation: always use original terms when matching ↵	Andrew Reynolds
	(was missing for simple triggers). Minor updates to scripts.
2014-05-15	Minor fixes. Add SMTCOMP 2014 script.	Andrew Reynolds

2014-05-12	Minor updates/fix to --cbqi-recurse	Andrew Reynolds

2014-05-11	More preparation for CASC proofs. Minor fix for sort inference (rewrite new ↵	Andrew Reynolds
	assertions). Bug fix for ambqi : simplify correctly for multi-sorted case. Bug fix for fmc : only do exh-simplification for uninterpreted sorts, ensure reps are enumerated for quantification over Real.
2014-05-09	Initial draft of run scripts for CASC j7	Andrew Reynolds