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 | Jean-Christophe Filliâtre <jean-christophe.filliatre@cnrs.fr> and Rémy El Sibaie <remy.el-sibaie@lip6.fr> |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://github.com/backtracking/combine |
| Issue Tracker | http://github.com/backtracking/combine/issues |
| Maintainer | Jean-Christophe Filliâtre <jean-christophe.filliatre@cnrs.fr> |
| Dependencies |
|
| Source [http] | https://github.com/ocaml/opam-source-archives/raw/main/combine-0.6.zip md5=224c1aa36a7ee6a2223f2bca4e5f6f0f |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/combine/combine.0.6/opam |
No package is dependent
