Tools

Tools specifically for the competition:

• Benchmark scrambler
• Benchmark selection tool
• Benchmark retrieval tool
• Trace executor (for the Application Track only)
• Benchmark selection
• TreeLimitedRun wrapper (borrowed from CASC and modified)
• Information about the SMT-LIB benchmarks
• Benchmarks eligible for the 2012 competition
• Script to run the unsat core track

Independent tools:

• SMT-LIBv2 parser
• SMT-LIBv2 tutorial (thanks to GrammaTech’s David Cok)