FAQ Search Today's Posts Mark Forums Read
» Video Reviews

» Linux Archive

Linux-archive is a website aiming to archive linux email lists and to make them easily accessible for linux users/developers.

» Sponsor

» Partners

» Sponsor

Go Back   Linux Archive > Debian > Debian Development

LinkBack Thread Tools
Old 04-14-2010, 01:57 PM
Pietro Abate
Default Bug#577778: ITP: ocaml-buddy -- ocaml bindings for buddy bdd

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
This package provides the files necessary to run dynamically-linked
OCaml programs with Buddy BDD.

Preliminary version of the package here:

To UNSUBSCRIBE, email to debian-devel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: 20100414135718.27584.87306.reportbug@dev.localnet. xen">http://lists.debian.org/20100414135718.27584.87306.reportbug@dev.localnet. xen

Thread Tools

All times are GMT. The time now is 05:59 AM.

VBulletin, Copyright ©2000 - 2014, Jelsoft Enterprises Ltd.
Content Relevant URLs by vBSEO ©2007, Crawlability, Inc.
Copyright 2007 - 2008, www.linux-archive.org