Home	•	Intro	•	Rules	•	Tools	•	Bench	•	Participants	•	Results	•	Org	•	SMT-LIB

Tools

Download updated OCAML source code for the SMT-LIB input format parser and checker (previous version).
Download CVC to SMT-LIB translator. The translator requires the latest version of CVC Lite.
SMT-LIB benchmark scrambler.
Benchmark selection.
Download the shell and awk scripts used to run SMT-COMP 2006.

Home	•	Intro	•	Rules	•	Tools	•	Bench	•	Participants	•	Results	•	Org	•	SMT-LIB

Last modified: Wed 06 Sep 2006 18:25 PDT