Linux Software / Programming / Libraries

BDD BuDDy 2.4

Date Added: April 21, 2010 | Visits: 1.884

Report Broken Link
Printer Friendly Version

Product Homepage
Download (136 downloads)

BDD BuDDy is a Binary Decision Diagram library, with : many highly efficient vectorized BDD operations, dynamic variable reordering, automated garbage collection, a C++ interface with automatic reference counting, and much more. The BDD package presented here was made as part of a PhD project on model checking of finite state machines by Jørn Lind-Nielsen. The package has evolved from a simple introduction to BDDs to a full blown BDD package with all the standard BDD operations, reordering and a wealth of documentation. The package is extremely simple to use; for C/C++ programs you just include "bdd.h" and link with "bdd" and then you are up and running. With the C++ interface you dont even have to think about reference counting and garbage collection. Whats New in This Release: - Using configure script for the build process. - Adding runregression script which runs examples and compare to expected results..

Requirements: No special requirements

Platforms: Linux

Keyword: Bdd, Bdd Buddy, Binary, Binary Decision Diagram, Buddy, Decision, Decision Diagram, Diagram, Libraries, Package, Programming

Users rating: 0/10

License: Freeware

Size: 778.24 KB

USER REVIEWS

More Reviews or Write Review

BDD BUDDY RELATED

Science - Java Decision Diagram Libraries 104 This project contains two different Binary Decision Diagrams (BDD) libraries: JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy. JDD: a native Java library supporting BDD, Z-BDD and more (graph/automata/Petri nets/SAT)	320.49 KB
Utilities - JavaBDD 1.0b2 JavaBDD is a Java library for manipulating BDDs (Binary Decision Diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, etc. For an excellent overview of the BDD data structure, see...	819.2 KB
Science - JReliability 1.2.1 JReliability allows to derive several reliability-related measures like Mean-Time-To-Failure (MTTF) or Mission-Time (MT) of complex systems that are modeled using Boolean functions, efficiently encoded in Binary Decision Diagrams (BDDs).	428.2 KB
Science - Asc2Silo file converter 0.3 a filter to convert ASCII data files into binary SILO files to use with the MeshTV visualization package.	48.85 KB
Education - Interactive BDD Environment 1.1 Interactive BDD Environment project is a shell like utility for working with ROBDDs. IBEN is a tool used for teaching Reduced Ordered Binary Decision Diagrams. It allows the student to work with ROBDDs without learning a complex C or C++...	102.4 KB
Database Tools - CrocoPat 2.1 CrocoPat manipulates relations of any arity, including graphs (which are binary relations). Its simple and expressive query and manipulation language is based on first-order predicate calculus.The implementation is based on the data structure...	3.66 MB
Libraries - C::Include 1.40 C::Include is a package to easy operate with binary data via describing they like C/C++ structs. CLASSES AND PACKAGES C::Include - Header file base parser class C::Include::Struct - Struct wraper class USAGE use C::Include; POSSIBILITY...	16.38 KB
Programming - JGoodies Common 1.0.0 These libraries are provided under the terms of the BSD open source license. The packages include the binary library jar, sources and documentation.	245.76 KB
Programming - PolyBoRi 0.6.5 The core of PolyBoRi is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique...	2.23 MB
Libraries - LBC Libraries 0.0.7 LBC Libraries is a set of easy C libraries that provide classical data types and structures (string, hash, queue, stack, tree). LBC Libraries package is focused on simplicity and portability. It uses ANSI C (C98 standard not required), and...	57.34 KB

NEW DOWNLOADS IN PROGRAMMING, LIBRARIES

Programming - Cedalion for Linux 0.2.6 Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.	471.04 KB
Programming - Math::GMPf 0.29 Math::GMPf - perl interface to the GMP library's floating point (mpf) functions.	30.72 KB
Programming - Net::Wire10 1.08 Net::Wire10 is a Pure Perl connector that talks to Sphinx, MySQL and Drizzle servers. Net::Wire10 implements the low-level network protocol, alias the MySQL wire protocol version 10, necessary for talking to one of the aforementioned...	30.72 KB
Programming - logilab-common 0.56.2 a bunch of modules providing low level functionnalities shared among some python projects devel Please note that some of the modules have some extra dependencies. For instance, logilab.common.db will require a db-api 2.0 compliant...	174.08 KB
Programming - OpenSSL for linux 1.0.0a The OpenSSL Project is a collaborative effort to develop a robust, commercial-grade, full-featured, and Open Source toolkit implementing the Secure Sockets Layer (SSL v2/v3) and Transport Layer Security (TLS v1) protocols as well as a...	3.83 MB
Libraries - wolfSSL 4.0.0 The wolfSSL embedded SSL/TLS library is a lightweight SSL library written in ANSI standard C and targeted for embedded and RTOS environments - primarily because of its small size, speed, and feature set. It is commonly used in standard operating...	3.88 MB
Libraries - EuGTK 4.8.9 Makes it easy to develop good- looking, fast, cross-platform programs that run on Linux, OS X, and Windows. Euphoria is a very fast interpreted/compiled language with straight-forward syntax. EuGTK allows programming in a clean, object-oriented...	10.68 MB
Libraries - Linux User Group Library Manager 1.0 The LUG Library Manager is a project to help Linux User Groups start their own library. A LUG library is helpful to the community at large because it increases access to information, and gives everyone the opportunity to become more knowledgeable.	5.35 KB
Libraries - Module::MakefilePL::Parse 0.12 Module::MakefilePL::Parse is a Perl module to parse required modules from Makefile.PL. SYNOPSIS use Module::MakefilePL::Parse; open $fh, Makefile.PL; $parser = Module::MakefilePL::Parse->new( join("", ) ); $info = $parser->required;...	8.19 KB
Libraries - sqlpp 0.06 sqlpp Perl package is a SQL preprocessor. sqlpp is a conventional cpp-alike preprocessor taught to understand SQL ( PgSQL, in particular) syntax specificities. In addition to the standard #define/#ifdef/#else/#endif cohort, provides also...	10.24 KB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts