Bug#577778: ITP: ocaml-buddy -- ocaml bindings for buddy bdd

[Pietro Abate <pietro.abate@pps.jussieu.fr>]

Package: wnpp
Severity: wishlist
Owner: Pietro Abate <pietro.abate@pps.jussieu.fr>
Owner: Pietro Abate <pietro.abate@pps.jussieu.fr>


* Package name    : ocaml-buddy
  Version         : 0.1
  Upstream Author : Pietro Abate <pietro.abate@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