SMT-LIB 2 parsing library for Objective Caml
Psmt2-frontend provides the parser for the SMT-LIB 2 syntax extended with prenex polymoprhisme which is used by the Alt-Ergo Theorem Prover.
$
pkg install ocaml-psmt2-frontendOrigin
devel/ocaml-psmt2-frontend
Size
12.6MiB
License
APACHE20
Maintainer
freebsd@dev.thsi.be
Dependencies
1 packages
Required by
1 packages