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