package combine
Combine is a library for combinatorics problem solving.
Install
Dune Dependency
Authors
Maintainers
Sources
combine-0.6.zip
sha256=6932ac2fe60f23e76ea0189b22ce70b2d041cf51da3470c6602ffdb04d45b444
md5=224c1aa36a7ee6a2223f2bca4e5f6f0f
Description
The Combine library contains four main modules:
- Dlx: implements Knuth's dancing links
- Zdd: implements Zero-suppressed binary decision diagrams
- Emc: a common interface to modules Dlx and Zdd to solve the Exact Matrix Cover problem
- Tiling: converts a 2D tiling problem into an EMC problem
Published: 22 Apr 2016
Dependencies (4)
- num
-
ocamlbuild
build -
ocamlfind
build -
ocaml
>= "4.01.0" & < "5.0.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page