yices2_bindingsversion

Ocaml bindings for yices2

Ocaml bindings for yices2

AuthorStephane Graham-Lengrand <stephane.graham-lengrand@csl.sri.com>
LicenseGPLv3
Published
Homepagehttps://github.com/SRI-CSL/yices2_ocaml_bindings
Issue Trackerhttps://github.com/SRI-CSL/yices2_ocaml_bindings/issues
MaintainerStephane Graham-Lengrand <stephane.graham-lengrand@csl.sri.com>
Dependencies
Source [http] https://github.com/SRI-CSL/yices2_ocaml_bindings/archive/0.2.tar.gz
md5=ff7ffd8b5e9f3aa2ba2d374c8c4c20e6
sha512=617def9703ab0b97f95fed86c7e5947b576d9662d7255687499fce58b90f3ba0e110e2c6e46d5aab32bc9d692ff6c0ab4987878dabe185f73e3ac5bfef364aa6
StatisticsNot installed in the last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/yices2_bindings/yices2_bindings.0.2/opam
No package is dependent