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

Age	Commit message (Collapse)	Author
2017-06-21	Fix unsat cores script for SMT-COMP (#179)	Andres Nötzli

2017-06-21	Add run script for unsat cores track at SMT-COMP (#177)	Andres Nötzli
	Note: this was a last minute effort, so we do not use the portfolio build for this track. This part for example: https://github.com/CVC4/CVC4/blob/d43e5fb294d89ba69f7d2607a12c8700b7ec9345/src/main/command_executor_portfolio.cpp#L351-L355 Would have to change before we can enable use the portfolio build for unsat cores in a competition build.