yices2_bindings

Ocaml bindings for yices2
Description

Ocaml bindings for yices2

Install
Documentation github.com Edit opam file
Published
14 Sep 2020
Authors
Maintainers
Sources
0.2.tar.gz
md5=ff7ffd8b5e9f3aa2ba2d374c8c4c20e6 sha512=617def9703ab0b97f95fed86c7e5947b576d9662d7255687499fce58b90f3ba0e110e2c6e46d5aab32bc9d692ff6c0ab4987878dabe185f73e3ac5bfef364aa6
Dependencies
ctypes-zarith >= "0.2.0"
zarith
sexplib0
sexplib
ppx_optcomp
ppx_deriving
ctypes-foreign
ctypes >= "0.12.0"
containers >= "3.0.0"
ocamlfind build
ocamlbuild build
ocaml >= "4.08"
Reverse Dependencies
Conflicts
integers < "0.3.0"