Utilities
Note:
The utilities below have been developed (mostly) by third parties and
are provided here as a convenience to the community.
Appearance on this page does not imply an endorsement of their full conformance to the standard.
Please contact each utility's authors directly for questions, bug reports, or other requests.
SMT-LIB Version 2.0
-
A suite of Java tools for parsing and type-checking SMT-LIB scripts, and
translating them to the input languages of some non-SMT-LIB-conforming solvers
[Webpage].
-
An open source parser/lexer
for SMT-LIB v2, C99, Flex and Bison
[Webpage].
-
An OCaml parser for SMT-LIB 2.0 scripts
[Download].
-
A library for reading and writing SMT-LIB 2 scripts via Haskell
[Webpage].
-
A minimal syntax highlighting mode for VIM
[Webpage].
SMT-LIB Version 1.2
-
An extensive set of debugging tools (fuzzer, delta-debugger, voting framework) for SMT solvers
[Webpage].
-
OCaml source code for an SMT-LIB 1.2 parser and checker
[Download | README].
-
A CVC to SMT-LIB translator. It requires the latest version of CVC3
[Download].