Package: wnpp Severity: wishlist Owner: Pietro Abate <pietro.ab...@pps.jussieu.fr> Owner: Pietro Abate <pietro.ab...@pps.jussieu.fr>
* Package name : ocaml-buddy Version : 0.1 Upstream Author : Pietro Abate <pietro.ab...@pps.jussieu.fr> * URL : http://github.com/abate/ocaml-buddy * License : LGPL Programming Lang: Ocaml / C Description : ocaml bindings for buddy bdd Binary decision diagrams (BDDs) are space-efficient encodings of boolean expressions or dynamic truth tables, used in eg. model checking. BuDDy is an efficient BDD library with all the standard BDD operations, dynamic reordering of variables, automated garbage collection, a C++ interface with automatic reference counting, and more. . This package provides the files necessary to run dynamically-linked OCaml programs with Buddy BDD. Preliminary version of the package here: http://git.debian.org/?p=pkg-ocaml-maint/packages/ocaml-buddy.git -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20100414135718.27584.87306.report...@dev.localnet.xen
