OCaml library to interact with external solvers via SMT2 and some tools
Primary LanguageOCaml
Simple but fast parser and pretty printer for the SMT2 language