psmt2-frontendversion
A 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/Coquera/psmt2-frontend |
| Issue Tracker | https://github.com/Coquera/psmt2-frontend/issues |
| Maintainer | Albin Coquereau |
| Dependencies |
|
| Source [http] | https://github.com/Coquera/psmt2-frontend/archive/0.2.zip sha256=5fd0cd4d5636cf7eea5ca1b517a49bcd7c2244f90bd4ae13dfa5da15bc1ec54f md5=1b440803b737be2a6a8b979e55ef0b60 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/psmt2-frontend/psmt2-frontend.0.2/opam |
Required by
- alt-ergo-parsers<2.4.0
