psmt2-frontendversion Documentation on ocaml.org
The psmt2-frontend project
An OCaml library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.
| Author | Albin Coquereau |
|---|---|
| License | Apache-2.0 |
| Published | |
| Homepage | https://github.com/OCamlPro-Coquera/psmt2-frontend/ |
| Issue Tracker | https://github.com/OCamlPro-Coquera/psmt2-frontend/issues |
| Maintainer | Albin Coquereau |
| Dependencies |
|
| Source [http] | https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.3.tar.gz sha256=a6008f2f1c288285bb76bc75bede9fb1a4aabff504a57b64229a7d6aa8b8547c md5=ea2264655eae4b5722c127ecfc4a126a |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/psmt2-frontend/psmt2-frontend.0.3.0/opam |
Required by
- alt-ergo-parsers<2.4.2
