ocamlyicesversion
Yices SMT solver binding
Yices is a Satisfiability Modulo Theories (SMT) solver from SRI. This binding requires Yices version 1.0.34 or more recent, but not 2.
Download the latest tarball from Yices' official website: http://yices.csl.sri.com/download.shtml Install it in /usr/local and register the DLL quickly: wget -q -O- http://git.io/sWxMmg | sh -s <yices-XYZ.tar.gz> where <yices-XYZ.tar.gz> should be replaced with the path to the downloaded tarball. Optionally you can set an installation directory: wget -q -O- http://git.io/sWxMmg | sh -s <yices-XYZ.tar.gz> /opt /opt/lib64
| Author | Mickaël Delahaye |
|---|---|
| License | ISC |
| Published | |
| Maintainer | mickael.delahaye@gmail.com |
| Dependencies | |
| Source [http] | https://github.com/polazarus/ocamlyices/archive/v0.7.tar.gz sha256=51e9efc2e7951d2a3f5b3db5e4736efdd554a0a3326ac2ce82db37e5e75b7432 md5=58d89a05ae59d45bcb705c8123acfe45 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ocamlyices/ocamlyices.0.7.0/opam |
No package is dependent
