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.1.tar.gz
md5=c5097d0fd1e22b601594313a1ed85238
sha512=89310ced285fdea4bd3111bb83f5384b7cf1bed0e739e067fec7c133f480275b9e872b9910bfbbfb44f7a5f3122e49cc1764ccacf56c75427c3471c837d322bc
StatisticsInstalled 4 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/yices2_bindings/yices2_bindings.0.1/opam
No package is dependent