yices2version
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