package yices2

  1. Overview
  2. Docs
Yices2 SMT solver binding

Install

Dune Dependency

micdel.fr Edit opam file Versions (2)

Authors

  1. M
    Mickaël Delahaye <mickael.delahaye@gmail.com>

Maintainers

  1. M
    Mickaël Delahaye <mickael.delahaye@gmail.com>

Sources

v0.0.3.tar.gz
sha256=2f9dfc5da61e56f49d450132325da21e1081dbde4a95a62735694e2ccd9c2b3a
md5=520065f7d81db571aacbc0e8ea3a63c7

doc/index.html

yices2

API

Library yices2

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct