combine

AuthorsRemy El Sibaie and Jean-Christophe Filliâtre
LicenseGNU Library General Public License version 2.1
Maintainerfilliatr@lri.fr
Dependencies
&menhir
num
PublishedDec 18, 2012
Source [http] http://www.lri.fr/~filliatr/combine/download/combine-0.42.tar.gz
3b9f7c4da130ed272f1d0fdd12d45bba
StatisticsInstalled 3 times last month.
Edithttps://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