yices2_bindings

Ocaml bindings for yices2
Description

Ocaml bindings for yices2

Install
Documentation github.com Edit opam file
Published
13 Jul 2020
Authors
Maintainers
Sources
0.1.tar.gz
md5=c5097d0fd1e22b601594313a1ed85238 sha512=89310ced285fdea4bd3111bb83f5384b7cf1bed0e739e067fec7c133f480275b9e872b9910bfbbfb44f7a5f3122e49cc1764ccacf56c75427c3471c837d322bc
Dependencies
ctypes-zarith >= "0.2.0"
zarith
sexplib0
sexplib
ppx_optcomp
ppx_deriving
ctypes-foreign
ctypes >= "0.12.0"
containers < "3.0"
ocamlfind build
ocamlbuild build
ocaml >= "4.08"
Reverse Dependencies
Conflicts
integers < "0.3.0"