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 https://git.frama-c.com/bobot/colibrics.git

Development

git clone https://git.frama-c.com/bobot/colibrics.git
cd colibrics
git clone https://github.com/bobot/dolmen.git -b for_colibri2
opam install why3.1.4.0
opam pin add --no-action .
opam install --deps-only .
opam install ounit
make
make test