Opam Package combine.0.6

Package info

opam-namecombine
opam-version0.6
synopsisCombine 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
authors
  • Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr>
  • Rémy El Sibaie <remy.el-sibaie@lip6.fr>
homepagehttps://www.lri.fr/~filliatr/combine/
licenseLGPL-2.1
deps (4)
revdeps(0)
metas (1)
libraries (1)

Package modules

Package sources

combine

Package files

lib/combine/zdd.mli
lib/combine/zdd.cmti
lib/combine/zdd.cmt
lib/combine/zdd.annot
lib/combine/tiling.mli
lib/combine/tiling.cmti
lib/combine/tiling.cmt
lib/combine/tiling.annot
lib/combine/parser.mli
lib/combine/parser.cmti
lib/combine/parser.cmt
lib/combine/parser.annot
lib/combine/matrix.mli
lib/combine/matrix.cmti
lib/combine/matrix.cmt
lib/combine/matrix.annot
lib/combine/lexer.ml
lib/combine/lexer.cmt
lib/combine/lexer.annot
lib/combine/interp.mli
lib/combine/interp.cmti
lib/combine/interp.cmt
lib/combine/interp.annot
lib/combine/emc.mli
lib/combine/emc.cmti
lib/combine/emc.cmt
lib/combine/emc.annot
lib/combine/dlxa.mli
lib/combine/dlxa.cmti
lib/combine/dlxa.cmt
lib/combine/dlxa.annot
lib/combine/dlx.mli
lib/combine/dlx.cmti
lib/combine/dlx.cmt
lib/combine/dlx.annot
lib/combine/d4.mli
lib/combine/d4.cmti
lib/combine/d4.cmt
lib/combine/d4.annot
lib/combine/cube.mli
lib/combine/cube.cmti
lib/combine/cube.cmt
lib/combine/cube.annot
lib/combine/combine.cmxs
lib/combine/combine.cmxa
lib/combine/combine.cmx
lib/combine/combine.cmt
lib/combine/combine.cmi
lib/combine/combine.cma
lib/combine/combine.a
lib/combine/backtracking.mli
lib/combine/backtracking.cmti
lib/combine/backtracking.cmt
lib/combine/backtracking.annot
lib/combine/ast.mli
lib/combine/ast.cmti
lib/combine/META
lib/combine
bin/combine