package yices2_bindings

You can search for identifiers within the package.

in-package search v0.2.0

Ocaml bindings for yices2

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

S

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

Maintainers

S

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

Sources

md5=ff7ffd8b5e9f3aa2ba2d374c8c4c20e6

sha512=617def9703ab0b97f95fed86c7e5947b576d9662d7255687499fce58b90f3ba0e110e2c6e46d5aab32bc9d692ff6c0ab4987878dabe185f73e3ac5bfef364aa6

Description

Ocaml bindings for yices2

Published: 14 Sep 2020

Dependencies (12)

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"

Dev Dependencies

None

Used by

None

Conflicts (1)

integers < "0.3.0"

On This Page

Description
Dependencies (12)
Dev Dependencies
Used by
Conflicts (1)