psmt2-frontend

A library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism
Description
Install
Documentation failed to build. github.com Edit opam file
Published
19 Jan 2019
Authors
Maintainers
Sources
0.2.zip
md5=1b440803b737be2a6a8b979e55ef0b60
Dependencies
menhir < "20211215"
conf-autoconf build
ocamlfind build
ocaml >= "4.04.0"
Reverse Dependencies
alt-ergo-parsers < "2.4.0"
alt-ergo-parsers-free