psmt2-frontend

The psmt2-frontend project
Description

An OCaml library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.

Install
Published
26 Mar 2021
Maintainers
Sources
0.4.0.tar.gz
sha256=06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780
Dependencies
menhir
>= "20180528"
ocamlformat
with-test
odoc
with-doc
ppx_expect
with-test
dune
>= "2.6.0"
ocaml
>= "4.04.2"
Reverse Dependencies