combine

AuthorsJean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr> and Rémy El Sibaie <remy.el-sibaie@lip6.fr>
LicenseLGPL-2.1
Homepagehttps://www.lri.fr/~filliatr/combine/
Issue Trackerhttp://github.com/backtracking/combine/issues
MaintainerJean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr>
Dependencies
&ocamlbuild
ocamlfind
Availableocaml-version >= "4.01.0"
PublishedApr 22, 2016
Source [http] https://github.com/backtracking/combine/archive/release-0.6.zip
224c1aa36a7ee6a2223f2bca4e5f6f0f
StatisticsInstalled once last month.
Edithttps://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