yices2version Documentation on ocaml.org
Yices2 SMT solver binding
Yices is a Satisfiability Modulo Theories (SMT) solver from SRI. It is available freely for non-commercial purposes. License terms: http://yices.csl.sri.com/yices-newnewlicense.html
| Author | Mickaël Delahaye <mickael.delahaye@gmail.com> |
|---|---|
| Licenses | ISC and non-commercial use |
| Published | |
| Homepage | http://micdel.fr/ocamlyices2.html |
| Issue Tracker | https://github.com/polazarus/ocamlyices2/issues |
| Maintainer | Mickaël Delahaye <mickael.delahaye@gmail.com> |
| Dependencies | |
| Source [http] | https://github.com/maelvalais/ocamlyices2/archive/v0.0.3.tar.gz sha256=2f9dfc5da61e56f49d450132325da21e1081dbde4a95a62735694e2ccd9c2b3a md5=520065f7d81db571aacbc0e8ea3a63c7 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/yices2/yices2.0.0.3/opam |
Optionally used by
- touist>=3.1.0
