We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
Submitted SMT-COMP 2014 version
Cutting release 1.3.
Updated CASC scripts, as provided to Geoff Sutcliffe
Cutting release 1.2.
update versioning
Cutting release 1.1.
The actual resubmission to SMT-COMP 2012, which fixes both the arith … …and BV bugs found in the competition.
The official resubmission to SMT-COMP 2012, which fixes a couple of b… …ugs exposed in the demo track (QF_LIA) and main track (QF_UFLIA).
Cutting release 1.0.
qf_lra strategy