package colibri2

  1. Overview
  2. No Docs
A CP solver for smtlib

Install

Dune Dependency

colibri.frama-c.com Edit opam file Versions (2)

Authors

  1. F
    François Bobot
  2. B
    Bruno Marre
  3. G
    Guillaume Bury
  4. S
    Stéphane Graham-Lengrand

Maintainers

  1. F
    François Bobot

Sources

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

Description

A reimplementation of COLIBRI in OCaml

Published: 20 Jun 2022

Dependencies (23)

  1. ocplib-simplex >= "0.4" & < "0.5"
  2. ocaml >= "4.12" & < "5.1"
  3. farith
  4. calcium
  5. qcheck-core >= "0.18.1"
  6. ocamlgraph >= "2.0.0"
  7. ppx_inline_test >= "v0.14.1"
  8. ppx_hash >= "v0.14.0"
  9. ppx_optcomp >= "v0.14.3"
  10. ppx_deriving >= "5.2.1"
  11. zarith >= "1.12"
  12. dune-build-info
  13. dune >= "3.0"
  14. ppx_here >= "v0.14.0"
  15. re >= "1.10.3"
  16. gen >= "1.0"
  17. base >= "v0.14.2" & < "v0.16.0"
  18. cmdliner >= "1.1.1"
  19. dolmen_loop >= "0.7" & < "0.8"
  20. dolmen_type >= "0.7" & < "0.8"
  21. dolmen >= "0.7" & < "0.8"
  22. containers >= "3.6.1"
  23. colibrilib = version

Dev Dependencies (2)

  1. odoc with-doc
  2. ounit2 >= "2.2.4" & with-test

Used by

None

Conflicts

None