combine

Authors { Remy El Sibaie, Jean-Christophe FilliĆ¢tre }
License GNU Library General Public License version 2.1
Maintainer filliatr@lri.fr
Dependencies
menhir
Published Apr 23, 2014
Source [http] http://github.com/backtracking/combine/archive/opam-packaged.zip
9545ebb80978d59bb3534b870cb20d2b
Statistics Installed 4 times in last month.
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