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 | jean-christophe.filliatre@cnrs.fr |
| Dependencies | |
| Source [http] | http://www.lri.fr/~filliatr/combine/download/combine-0.42.tar.gz sha256=ef3e6a9cd8be15882024e02ae99787aeb5007b4bed7ce29b0e5d7cf158ffb4c0 md5=3b9f7c4da130ed272f1d0fdd12d45bba |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/combine/combine.0.42/opam |
No package is dependent
