colibricsversion
A CP solver proved in Why3
The core of Colibrics is formally proved using Why3.
| Author | François Bobot |
|---|---|
| License | LGPL-2.1 |
| 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.3.3/colibri2-0.3.3.tbz sha256=db4c79c00e02a9bd437844ca49b328938a4b774e7a7bd24a8d9e1eaba04f5abc sha512=1fd0eca1aac1cda92828f8691765eca02a00e90c7758d33347436f4ae580776877121102d505ee72c4b68a55d1d6b591a29258616971ca80fba4d17e2c507d2e |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/colibrics/colibrics.0.3.3/opam |
No package is dependent
