package combine

  1. Overview
  2. Docs
Combine is a library for combinatorics problem solving.

Install

Dune Dependency

Authors

Maintainers

Sources

combine-0.42.tar.gz
sha256=ef3e6a9cd8be15882024e02ae99787aeb5007b4bed7ce29b0e5d7cf158ffb4c0
md5=3b9f7c4da130ed272f1d0fdd12d45bba

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

Published: 21 Nov 2013

Dependencies (3)

  1. num
  2. menhir
  3. ocaml < "4.06.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.