colibricsversion Documentation on ocaml.org
A CP solver proved in Why3
The core of Colibrics is formally proved using Why3.
| Author | François Bobot |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://colibri.frama-c.com |
| Issue Tracker | https://git.frama-c.com/pub/colibrics/issues |
| Maintainer | François Bobot |
| Dependencies |
|
| Source [http] | https://git.frama-c.com/api/v4/projects/879/packages/generic/colibri2/0.6/colibri2-0.6.tbz sha256=6974bb0397202647ede57771e3294b89d89971c3e0740e4adc8a8bd8264ab4a3 sha512=870532a98f2c0e8e732277d66baa6fd75c6d42344ed2ec54e1b489456641c13af4d70bae61b4b8b2da1f54781425eca514bac03f72526302e38c1c53fdd667bd |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/colibrics/colibrics.0.6/opam |
No package is dependent
