rpms / ocaml-psmt2-frontend
Created 3 years ago
Maintained by
jjames
The ocaml-psmt2-frontend package | https://github.com/OCamlPro-Coquera/psmt2-frontend
Fedora Release Engineering committed 3 months ago
ocaml-psmt2-frontend
This package contains a library to parse and typecheck a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.