Installation

Static binaries

COLIBRI

Download a bundle directory which contains the colibri executable and its dependencies.

• Latest release
• Latest release (with ECLiPSe 5.10)
• All releases
• Nightly jobs

Colibri2

• Colibri2 0.4
• Colibri2 development version

From source

COLIBRI

• Gitlab repository

Colibri2

• opam install colibri2
• opam install colibrics

Documents

• COLIBRI: SMT Solving with CP