colibrilibversion

A library of domains and propagators proved in Why3

Interval, and union of interval domains defined formally

AuthorFrançois Bobot
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/colibrilib/colibrilib.0.4/opam
Required by