psmt2-frontend

AuthorAlbin Coquereau
LicenseApache 2.0
Homepagehttps://github.com/Coquera/psmt2-frontend
Issue Trackerhttps://github.com/Coquera/psmt2-frontend/issues
MaintainerAlbin Coquereau
Dependencies
&conf-autoconf
menhir
ocamlfind
Availableocaml-version >= "4.04.0"
PublishedApr 20, 2018
Source [http] https://github.com/Coquera/psmt2-frontend/archive/0.1.zip
1eb0902c24ca84f5aefae876feb43d6e
StatisticsInstalled 93 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/psmt2-frontend/psmt2-frontend.0.1/opam

A library to parse and type-check a conservative extension of the SMT-LIB 2

standard with prenex polymorphism

Necessary for
alt-ergo
>= 2.2.0