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! Sorry about that.
Published
19 Jan 2019
Maintainers
Sources
0.2.zip
md5=1b440803b737be2a6a8b979e55ef0b60
Dependencies
menhir
< "20211215"
ocaml
>= "4.04.0"
Reverse Dependencies