Package: wnpp Severity: wishlist Owner: Pietro Abate <[email protected]> Owner: Pietro Abate <[email protected]>
* Package name : ocaml-buddy Version : 0.1 Upstream Author : Pietro Abate <[email protected]> * 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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
