psmt2-frontendversion

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

AuthorAlbin Coquereau
LicenseApache-2.0
Published
Homepagehttps://github.com/Coquera/psmt2-frontend
Issue Trackerhttps://github.com/Coquera/psmt2-frontend/issues
MaintainerAlbin Coquereau
Dependencies
Source [http] https://github.com/Coquera/psmt2-frontend/archive/0.2.zip
md5=1b440803b737be2a6a8b979e55ef0b60
StatisticsInstalled 1300 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/psmt2-frontend/psmt2-frontend.0.2/opam
Required by