package yices2

  1. Overview
  2. Docs
Yices2 SMT solver binding

Install

Dune Dependency

Authors

Maintainers

Sources

v0.0.3.tar.gz
md5=520065f7d81db571aacbc0e8ea3a63c7

Description

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

Published: 08 May 2017

Dependencies (4)

  1. zarith
  2. conf-gmp build
  3. ocamlfind build
  4. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None