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

Age	Commit message (Collapse)	Author
2014-07-01	Fix path in CASC J7 scripts, and distribute them with tarball.	Morgan Deters

2014-06-23	Make language explicit in casc scripts	ajreynol

2014-05-28	Minor changes to script. Disable cbqi sat.	ajreynol

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-14	Finish --dump-instantiations option. Update scripts.	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-10	Bug fixes to CBQI. Add first draft of CASC j7 TFF script. Add regression, ↵	Andrew Reynolds
	minor changes.