• en

combine

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
Authors Remy El Sibaie and Jean-Christophe Filliâtre
License GNU Library General Public License version 2.1
Maintainer filliatr@lri.fr

Events

Apr 23, 2014

Published version 0.55

Dec 18, 2012

Published version 0.42