combine

Combine is a library for combinatorics problem solving.
Description

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
Install
Published
24 Apr 2014
Maintainers
Sources
opam-packaged.zip
md5=9545ebb80978d59bb3534b870cb20d2b
Dependencies
Reverse Dependencies