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