combine 0.55
| Authors | Remy El Sibaie and Jean-Christophe Filliâtre | ||||
|---|---|---|---|---|---|
| License | GNU Library General Public License version 2.1 | ||||
| Maintainer | filliatr@lri.fr | ||||
| Dependencies |
|
||||
| Published | Apr 23, 2014 | ||||
| Source [http] |
https://github.com/backtracking/combine/archive/opam-packaged.zip 9f574481fe717e491d667fd51c571f50 |
||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/combine/combine.0.55/opam | ||||
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
| No package is dependent |