combineversion
Combine is a library for combinatorics problem solving.
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
| Authors | Remy El Sibaie and Jean-Christophe Filliâtre |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Maintainer | filliatr@lri.fr |
| Dependencies | |
| Source [http] | https://github.com/backtracking/combine/archive/opam-packaged.zip md5=9545ebb80978d59bb3534b870cb20d2b |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/combine/combine.0.55/opam |
No package is dependent
