package psmt2-frontend
A library to parse and type-check a conservative extension of the SMT-LIB 2
standard with prenex polymorphism
Install
Dune Dependency
Authors
Maintainers
Sources
0.2.zip
sha256=5fd0cd4d5636cf7eea5ca1b517a49bcd7c2244f90bd4ae13dfa5da15bc1ec54f
md5=1b440803b737be2a6a8b979e55ef0b60
Description
Published: 19 Jan 2019
Dependencies (4)
-
menhir
< "20211215" -
conf-autoconf
build -
ocamlfind
build -
ocaml
>= "4.04.0"
Dev Dependencies
None
Used by (1)
-
alt-ergo-parsers
< "2.4.0"
Conflicts
None
On This Page