combine 0.42
| Authors | Remy El Sibaie and Jean-Christophe Filliâtre | ||||
|---|---|---|---|---|---|
| License | GNU Library General Public License version 2.1 | ||||
| Maintainer | filliatr@lri.fr | ||||
| Dependencies |
|
||||
| Published | Dec 18, 2012 | ||||
| Source [http] |
http://www.lri.fr/~filliatr/combine/download/combine-0.42.tar.gz 3b9f7c4da130ed272f1d0fdd12d45bba |
||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/combine/combine.0.42/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 |