package combine

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

Install

Dune Dependency

github.com Edit opam file Versions (3)

Authors

  1. J
    Jean-Christophe Filliâtre <jean-christophe.filliatre@cnrs.fr>
  2. R
    Rémy El Sibaie <remy.el-sibaie@lip6.fr>

Maintainers

  1. J
    Jean-Christophe Filliâtre <jean-christophe.filliatre@cnrs.fr>

Sources

combine-0.6.zip
md5=224c1aa36a7ee6a2223f2bca4e5f6f0f

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: 22 Apr 2016

Dependencies (4)

  1. num
  2. ocamlbuild build
  3. ocamlfind build
  4. ocaml >= "4.01.0" & < "5.0.0"

Dev Dependencies

None

Used by

None

Conflicts

None