Tools

• 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

• SMT-LIBv2 parser available
• SMT-LIBv2 tutorial and resources (thanks to GrammaTech's David Cok)

Last modified: Tue 17 Feb 2015 14:57 UTC