package yices2

  1. Overview
  2. Docs
Yices2 SMT solver binding

Install

Dune Dependency

Authors

Maintainers

Sources

v0.0.2.tar.gz
sha256=a4148dffa18c4e18c6e12a423491ab3ad9382c27f8dd59ee49ef78533b772011
md5=29425e5046be099a542d6ab5ca48ac86

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: 05 May 2017

Dependencies (4)

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

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.