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

Age	Commit message (Collapse)	Author
2013-05-20	Possible final version of run scripts for casc.	Andrew Reynolds

2013-05-14	Update casc24-fnt run script. Add casc24-fof run script.	Andrew Reynolds

2013-05-11	Preliminary version of finite model finding over bounded integer ↵	Andrew Reynolds
	quantification. Minor update to casc script.
2013-05-10	Update casc run script. Work on compliance for SZS output.	Andrew Reynolds

2013-05-09	Add simplification option --fo-prop-quant. Add model support for new ↵	Andrew Reynolds
	model-checking procedure. Add run script for casc24-fnt.