package psmt2-frontend
The psmt2-frontend project
Install
Dune Dependency
Authors
Maintainers
Sources
0.3.tar.gz
sha256=a6008f2f1c288285bb76bc75bede9fb1a4aabff504a57b64229a7d6aa8b8547c
md5=ea2264655eae4b5722c127ecfc4a126a
doc/index.html
Library psmt2-frontend
An OCaml library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.
The entry point of this library is the module: Psmt2Frontend.