Description

Ocaml bindings for yices2

Published: 13 Jul 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"
  10. ocamlfind build
  11. ocamlbuild build
  12. ocaml >= "4.08"

Reverse Dependencies

    None

Conflicts (1)

  1. integers < "0.3.0"
Ocaml bindings for yices2

Install

Documentation 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.1.tar.gz
md5=c5097d0fd1e22b601594313a1ed85238
sha512=89310ced285fdea4bd3111bb83f5384b7cf1bed0e739e067fec7c133f480275b9e872b9910bfbbfb44f7a5f3122e49cc1764ccacf56c75427c3471c837d322bc