package colibrilib

All checked builds pass
  1. Overview
  2. Docs
A library of domains and propagators proved in Why3

Install 

dune-project
 Dependency

colibri.frama-c.com Readme Edit opam file Versions (3)

Authors

  1. F
    François Bobot

Maintainers

  1. F
    François Bobot

Sources

colibri2-0.6.tbz
sha256=6974bb0397202647ede57771e3294b89d89971c3e0740e4adc8a8bd8264ab4a3
sha512=870532a98f2c0e8e732277d66baa6fd75c6d42344ed2ec54e1b489456641c13af4d70bae61b4b8b2da1f54781425eca514bac03f72526302e38c1c53fdd667bd

Description

Interval, and union of interval domains defined formally

Added to opam-repository:

README

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

opam repo add coq-released https://coq.inria.fr/opam/released
git clone --recurse-submodules https://git.frama-c.com/bobot/colibrics.git
cd colibrics
opam install why3.1.4.0 why3 core jingoo yojson logs core coq-flocq.3.4.2 coq-coq2html pp_loc ounit2
opam install --deps-only .
make
make test

Dependencies (3)

  1. zarith >= "1.12"
  2. ocaml >= "4.12"
  3. dune >= "3.7"

Dev Dependencies (1)

  1. odoc with-doc

Optional Dependencies

None

Used by (1)

  1. colibri2 >= "0.6"

Conflicts

None

Build status

Results of building colibrilib with each compiler on check.ci.ocaml.org, run of against opam-repository 8a77e58. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
0.6 (this version) n/a good good good good
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure