* [Caml-list] announce: ReML, a library for combinatorics
@ 2012-07-05 8:38 Jean-Christophe Filliatre
0 siblings, 0 replies; only message in thread
From: Jean-Christophe Filliatre @ 2012-07-05 8:38 UTC (permalink / raw)
To: Caml List; +Cc: caml-announce, Rémy El Sibaie
Dear users,
This is our pleasure to announce the first release of ReML, an OCaml
library for combinatorics.
This library provides the following modules:
- Dlx: Knuth's dancing links
- Zdd: 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
Documentation: http://www.lri.fr/~filliatr/reml/doc/index.html
ReML also contains an interpreter for a language to describe 2D tiling
problems (such as Pentominos) and to solve them or to enumerate their
solutions. The source tarball contains some examples.
Web page: http://www.lri.fr/~filliatr/reml/
Enjoy!
--
Rémy & Jean-Christophe
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2012-07-05 8:36 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-07-05 8:38 [Caml-list] announce: ReML, a library for combinatorics Jean-Christophe Filliatre
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox