package colibrilib

  1. Overview
  2. No Docs
A library of domains and propagators proved in Why3

Install

Dune Dependency

Authors

Maintainers

Sources

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

Description

Interval, and union of interval domains defined formally

Published: 20 Jun 2022

Dependencies (3)

  1. ocaml >= "4.12"
  2. zarith >= "1.12"
  3. dune >= "3.0" & < "3.11"

Dev Dependencies (1)

  1. odoc with-doc

Used by (1)

  1. colibri2 < "0.4"

Conflicts

None

OCaml

Innovation. Community. Security.