Utilities

• OCaml source code for an SMT-LIB input format parser and checker (Download) (README).
  
  
• A CVC to SMT-LIB translator (Download). The translator requires the latest version of CVC3.
  
  
• Robert Brummayer has made available an extensive set of debugging tools (fuzzer, delta-debugger, voting framework). They are available here.