package colibrics

  1. Overview
  2. No Docs
A CP solver proved in Why3

Install

colibri.frama-c.com Edit opam file

Authors

  1. F
    François Bobot

Maintainers

  1. F
    François Bobot

Sources

colibri2-0.4.tbz
sha256=fe298191f4ae6af7046c6dee617da0100eba1738b11f868290d905cd0055ae27
sha512=75aa7969bdbca6bef396e35d9660381c06ef21332730ecfb0a4dcc72596ef8575d5905ddd5341e0287e8e18a20db8df9d9894b698f98e11dfc6d26a183fc16f7

Description

The core of Colibrics is formally proved using Why3.

Published: 29 Mar 2023

Dependencies (14)

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

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None