colibricsversion
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.4/colibri2-0.4.tbz sha256=fe298191f4ae6af7046c6dee617da0100eba1738b11f868290d905cd0055ae27 sha512=75aa7969bdbca6bef396e35d9660381c06ef21332730ecfb0a4dcc72596ef8575d5905ddd5341e0287e8e18a20db8df9d9894b698f98e11dfc6d26a183fc16f7 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/colibrics/colibrics.0.4/opam |
No package is dependent
