psmt2-frontendversion

The psmt2-frontend project

An OCaml 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/OCamlPro-Coquera/psmt2-frontend/
Issue Trackerhttps://github.com/OCamlPro-Coquera/psmt2-frontend/issues
MaintainerAlbin Coquereau
Dependencies
Source [http] https://github.com/OCamlPro-Coquera/psmt2-frontend/archive/0.4.0.tar.gz
sha256=06eff884b629ce30704d08fb4559e54812e8c234e6086da770ea693613fe9780
StatisticsInstalled 994 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/psmt2-frontend/psmt2-frontend.0.4.0/opam
Required by