yices2_bindingsversion Documentation on ocaml.org
Ocaml bindings for yices2
Ocaml bindings for yices2
| Author | Stephane Graham-Lengrand <stephane.graham-lengrand@csl.sri.com> |
|---|---|
| License | GPL-3.0-only |
| Published | |
| Homepage | https://github.com/SRI-CSL/yices2_ocaml_bindings |
| Issue Tracker | https://github.com/SRI-CSL/yices2_ocaml_bindings/issues |
| Maintainer | Stephane Graham-Lengrand <stephane.graham-lengrand@csl.sri.com> |
| Dependencies |
|
| Conflicts |
|
| Source [http] | https://github.com/SRI-CSL/yices2_ocaml_bindings/archive/0.2.tar.gz md5=ff7ffd8b5e9f3aa2ba2d374c8c4c20e6 sha512=617def9703ab0b97f95fed86c7e5947b576d9662d7255687499fce58b90f3ba0e110e2c6e46d5aab32bc9d692ff6c0ab4987878dabe185f73e3ac5bfef364aa6 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/yices2_bindings/yices2_bindings.0.2/opam |
No package is dependent
