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.
Tag for Kshitij's implementation of sets.
Stable entry to SMT-COMP 2015
Experimental entry to SMT-COMP 2015
Cutting release 1.4.
Fixing the previous bugfix.
QuitCommand needs "success" output for trace executor. :-(
Submitted SMT-COMP 2014 version
Cutting release 1.3.
Updated CASC scripts, as provided to Geoff Sutcliffe
Cutting release 1.2.