combine

Authors { Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr>, Rémy El Sibaie <remy.el-sibaie@lip6.fr> }
License LGPL-2.1
Homepage https://www.lri.fr/~filliatr/combine/
Issue Tracker http://github.com/backtracking/combine/issues
Maintainer Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr>
Dependencies
& ocamlbuild
ocamlfind
Available ocaml-version >= "4.01.0"
Published Apr 22, 2016
Source [http] http://github.com/backtracking/combine/archive/release-0.6.zip
224c1aa36a7ee6a2223f2bca4e5f6f0f
Statistics Installed 2 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/combine/combine.0.6/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