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/colibri2.gitDevelopment
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
opam pin add --no-action colibri2 .
opam install --deps-only colibri2
opam install ounit
make
make test