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.1.zip md5=1eb0902c24ca84f5aefae876feb43d6e |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/psmt2-frontend/psmt2-frontend.0.1/opam |
Required by
- alt-ergo=2.2.0
- alt-ergo-free=2.2.0