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
Authors
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