Description

The core of Colibrics is formally proved using Why3.

Published: 20 Jun 2022

Dependencies (15)

  1. odoc with-doc
  2. ocaml >= "4.12"
  3. yojson
  4. why3 >= "1.4.0"
  5. logs >= "0.7.0"
  6. jingoo >= "1.4.4"
  7. core >= "v0.14.1"
  8. ocaml >= "4.08" & < "5.0"
  9. cmdliner >= "1.1.1"
  10. zarith >= "1.12"
  11. dune >= "3.0"
  12. dolmen_loop >= "0.7" & < "0.8"
  13. dolmen_type >= "0.7" & < "0.8"
  14. dolmen >= "0.7" & < "0.8"
  15. ppx_deriving_yojson >= "3.6.1"

Reverse Dependencies

    None

Conflicts

    None
A CP solver proved in Why3

Install

Documentation colibri.frama-c.com Readme LGPL-2.1 License Edit opam file

Authors

  1. F
    François Bobot

Maintainers

  1. F
    François Bobot

Sources

colibri2-0.3.3.tbz
sha256=db4c79c00e02a9bd437844ca49b328938a4b774e7a7bd24a8d9e1eaba04f5abc
sha512=1fd0eca1aac1cda92828f8691765eca02a00e90c7758d33347436f4ae580776877121102d505ee72c4b68a55d1d6b591a29258616971ca80fba4d17e2c507d2e