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.2.tar.gz sha256=a4148dffa18c4e18c6e12a423491ab3ad9382c27f8dd59ee49ef78533b772011 md5=29425e5046be099a542d6ab5ca48ac86 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/yices2/yices2.0.0.2/opam |
Optionally used by
- touist>=3.1.0
