colibri2

A CP solver for smtlib
README

A prototype implementation of a CP solver for the smtlib. Reimplementation of
COLIBRICS written in Eclipse Prolog by Bruno Marre

Installation

Using opam:

opam pin add https://git.frama-c.com/bobot/colibrics.git

Development

opam repo add coq-released https://coq.inria.fr/opam/released
git clone --recurse-submodules https://git.frama-c.com/bobot/colibrics.git
cd colibrics
opam install why3.1.4.0 why3 core jingoo yojson logs core coq-flocq.3.4.2 coq-coq2html pp_loc ounit2
opam install --deps-only .
make
make test
Install
Published
20 Jun 2022
Maintainers
Sources
colibri2-0.3.3.tbz
sha256=db4c79c00e02a9bd437844ca49b328938a4b774e7a7bd24a8d9e1eaba04f5abc
sha512=1fd0eca1aac1cda92828f8691765eca02a00e90c7758d33347436f4ae580776877121102d505ee72c4b68a55d1d6b591a29258616971ca80fba4d17e2c507d2e
Dependencies
odoc
with-doc
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"
dolmen_type
>= "0.7"
dolmen
>= "0.7"
containers
>= "3.6.1"
colibrilib
= version
Reverse Dependencies