opam on Github

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