package combine
Combine is a library for combinatorics problem solving.
Install
Dune Dependency
Authors
Maintainers
Sources
opam-packaged.zip
sha256=7f952fc2026c5956e15979f1f9e894f9de2ca50cc1a67b3565d38345b437fa8f
md5=9545ebb80978d59bb3534b870cb20d2b
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: 24 Apr 2014
On This Page