1. Overview
  2. Docs
Ocaml bindings for yices2

Install

github.com Edit opam file

Authors

  1. S
    Stephane Graham-Lengrand <stephane.graham-lengrand@csl.sri.com>

Maintainers

  1. S
    Stephane Graham-Lengrand <stephane.graham-lengrand@csl.sri.com>

Sources

0.2.tar.gz
md5=ff7ffd8b5e9f3aa2ba2d374c8c4c20e6
sha512=617def9703ab0b97f95fed86c7e5947b576d9662d7255687499fce58b90f3ba0e110e2c6e46d5aab32bc9d692ff6c0ab4987878dabe185f73e3ac5bfef364aa6

Description

Ocaml bindings for yices2

Published: 14 Sep 2020

Dependencies (12)

  1. ctypes-zarith >= "0.2.0"
  2. zarith
  3. sexplib0
  4. sexplib
  5. ppx_optcomp
  6. ppx_deriving
  7. ctypes-foreign
  8. ctypes >= "0.12.0"
  9. containers >= "3.0.0"
  10. ocamlfind build
  11. ocamlbuild build
  12. ocaml >= "4.08"

Dev Dependencies

    None

Used by

    None

Conflicts (1)

  1. integers < "0.3.0"