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