package ocamlyices

  1. Overview
  2. No Docs
Yices SMT solver binding

Install

Dune Dependency

Authors

Maintainers

Sources

v0.7.1.tar.gz
sha256=0e1af5bd5098a031137bac1462febae56854f5b1969098ff9b17eae63b281dd5
md5=0119df97a5809c41c992c38cc7a45225

Description

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

Published: 28 Nov 2013

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.