colibri2

A CP solver for smtlib
Description

A reimplementation of COLIBRI in OCaml

Install
Published
20 Jun 2022
Authors
Maintainers
Sources
colibri2-0.3.3.tbz
sha256=db4c79c00e02a9bd437844ca49b328938a4b774e7a7bd24a8d9e1eaba04f5abc sha512=1fd0eca1aac1cda92828f8691765eca02a00e90c7758d33347436f4ae580776877121102d505ee72c4b68a55d1d6b591a29258616971ca80fba4d17e2c507d2e
Dependencies
odoc with-doc
ocplib-simplex >= "0.4" & < "0.5"
ocaml >= "4.12"
ounit2 >= "2.2.4" & with-test
qcheck-core >= "0.18.1"
ocamlgraph >= "2.0.0"
ppx_inline_test >= "v0.14.1"
ppx_hash >= "v0.14.0"
ppx_optcomp >= "v0.14.3"
ppx_deriving >= "5.2.1"
zarith >= "1.12"
dune >= "3.0"
ppx_here >= "v0.14.0"
re >= "1.10.3"
gen >= "1.0"
base >= "v0.14.2"
cmdliner >= "1.1.1"
dolmen_loop >= "0.7" & < "0.8"
dolmen_type >= "0.7" & < "0.8"
dolmen >= "0.7" & < "0.8"
containers >= "3.6.1"
colibrilib = version
Reverse Dependencies