colibri2version

A CP solver for smtlib

A reimplementation of COLIBRI in OCaml

AuthorsFrançois Bobot, Bruno Marre, Guillaume Bury and Stéphane Graham-Lengrand
LicenseLGPL-2.1-only
Published
Homepagehttps://colibri.frama-c.com
Issue Trackerhttps://git.frama-c.com/pub/colibrics/issues
MaintainerFrançois Bobot
Dependencies
Source [http] https://git.frama-c.com/api/v4/projects/879/packages/generic/colibri2/0.4/colibri2-0.4.tbz
sha256=fe298191f4ae6af7046c6dee617da0100eba1738b11f868290d905cd0055ae27
sha512=75aa7969bdbca6bef396e35d9660381c06ef21332730ecfb0a4dcc72596ef8575d5905ddd5341e0287e8e18a20db8df9d9894b698f98e11dfc6d26a183fc16f7
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/colibri2/colibri2.0.4/opam
Optionally used by