opam on Github

psmt2-frontendversion
0.1
Documentation on ocaml.org

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.1.zip
sha256=1a125274b4b23219efe3e5dcc850a35210d33b51bc5531d3f3112df7f5db3f35
md5=1eb0902c24ca84f5aefae876feb43d6e
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/psmt2-frontend/psmt2-frontend.0.1/opam
Required by
Generated using opam2web, courtesy of OCamlPro. Commercial support.