Colibrics and Colibri2

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 dolmen https://github.com/Gbury/dolmen.git#8c497a51b0e138295795865eb801933ad38daa58
opam pin add dolmen_loop https://github.com/Gbury/dolmen.git#8c497a51b0e138295795865eb801933ad38daa58
opam pin add colibri2  https://git.frama-c.com/bobot/colibri2.git

Development

git clone https://git.frama-c.com/bobot/colibrics.git
opam pin add dolmen https://github.com/Gbury/dolmen.git#8c497a51b0e138295795865eb801933ad38daa58
opam pin add --no-action colibri2 .
opam install --deps-only colibri2
opam install ounit
make build
make test