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
.