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.1.zip
md5=1eb0902c24ca84f5aefae876feb43d6e
StatisticsInstalled 424 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/psmt2-frontend/psmt2-frontend.0.1/opam
Required by