psmt2-frontend

A library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism
Description
Install
Published
19 Jan 2019
Authors
Maintainers
Sources
0.2.zip
md5=1b440803b737be2a6a8b979e55ef0b60
Dependencies
menhir < "20211215"
ocaml >= "4.04.0"
Reverse Dependencies