package colibri2
A CP solver for smtlib
Install
Dune Dependency
Authors
Maintainers
Sources
colibri2-0.3.3.tbz
sha256=db4c79c00e02a9bd437844ca49b328938a4b774e7a7bd24a8d9e1eaba04f5abc
sha512=1fd0eca1aac1cda92828f8691765eca02a00e90c7758d33347436f4ae580776877121102d505ee72c4b68a55d1d6b591a29258616971ca80fba4d17e2c507d2e
Description
A reimplementation of COLIBRI in OCaml
Published: 20 Jun 2022
Dependencies (23)
-
ocplib-simplex
>= "0.4" & < "0.5"
-
ocaml
>= "4.12" & < "5.1"
- farith
- calcium
-
qcheck-core
>= "0.18.1"
-
ocamlgraph
>= "2.0.0"
-
ppx_inline_test
>= "v0.14.1"
-
ppx_hash
>= "v0.14.0"
-
ppx_optcomp
>= "v0.14.3"
-
ppx_deriving
>= "5.2.1"
-
zarith
>= "1.12"
- dune-build-info
-
dune
>= "3.0"
-
ppx_here
>= "v0.14.0"
-
re
>= "1.10.3"
-
gen
>= "1.0"
-
base
>= "v0.14.2" & < "v0.16.0"
-
cmdliner
>= "1.1.1"
-
dolmen_loop
>= "0.7" & < "0.8"
-
dolmen_type
>= "0.7" & < "0.8"
-
dolmen
>= "0.7" & < "0.8"
-
containers
>= "3.6.1"
-
colibrilib
= version
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page