cvc5version

OCaml bindings for the cvc5 SMT solver

OCaml bindings for the cvc5 SMT solver

AuthorJoão Pereira <joaomhmpereira@tecnico.ulisboa.pt>
LicenseGPL-3.0-only
Published
Homepagehttps://github.com/formalsec/ocaml-cvc5
Issue Trackerhttps://github.com/formalsec/ocaml-cvc5/issues
MaintainerJoão Pereira <joaomhmpereira@tecnico.ulisboa.pt>
Dependencies
Source [http] https://github.com/formalsec/ocaml-cvc5/releases/download/v1.2.0/ocaml-cvc5-v1.2.0.tar.gz
md5=f3bef1351994740ad6a11f55f77b4fbf
sha512=2b526cf9cd9cb4b240466bd69d8608a2257e57930b07ebc99c57aa2633bde45d40f4e10797794cbcf6d9f7ca78dd91d4c3d54b516ac04f625518159b4189833a
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/cvc5/cvc5.1.2.0/opam
Optionally used by