Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 32.389.551 Times

BDD BuDDy 2.4

  Date Added: April 21, 2010  |  Visits: 1.586

BDD BuDDy

Report Broken Link
Printer Friendly Version


Product Homepage
Download (117 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
Productivity  -  BinConverter 1.0.0.0
This app converts positive decimal integers to unsigned binary numbers, and vice-versa. It may be useful for early Computer Science students, hobbyists, or for just playing around with the number system. A brief explanation of binary: ...
1024 KB  
Application Add-Ins  -  Nevron Diagram Designer 2010_Vol.1 1.0
Nevron Diagram Designer is a freeware diagram editor powered by Nevron Diagram. It is suitable for creating various kinds of diagrams and performing different layout algorithms on them. The Diagram Designer also can make you familiar with the...
2.67 MB  
Development Tools  -  Markov Decision Processes (MDP) Toolbox 1.0
The MDP toolbox proposes functions related to the resolution of discrete-time Markov Decision Processes: backwards induction, value iteration, policy iteration, linear programming algorithms with some variants.The functions were developped with...
235.52 KB  
Development Editors  -  DB Visual ARCHITECT (Professional Edition) for Mac OS 6.0
Database Visual ARCHITECT (DB-VA) is a database design tool that supports designing database with entity relationship diagram (ERD) and UML class diagram. DB-VA generates database initialization script (DDL), Java Hibernate mapping, .NET...
164.3 MB  
Web Browser Tools  -  Microsummary Buddy 0.1.2 for Firefox
Microsummary Buddy is an extension used to improve the discoverability of microsummaries. To improve the discoverability of microsummaries, this extension displays an icon in the location bar when a microsummary is available for a page. When...
11.26 KB  
Multimedia & Graphics  -  Binary Viewer / Editor 1.0.1.382
Binary Viewer / Editor is a compact application that enables you to view and edit the content of a file in binary view. That means the user can open every type of file, view the content and make modifications. It is a tool for the users...
 
Utilities  -  Get Binary New
Get Binary was designed as a simple, accessible and easy-to-use Command Line-based tool that is able to extract binary information from a file. Now it is very easy to extract the binary data you want in no time at all with the help of this Open...
 
Education  -  Free Quiz-Buddy 4.1
Free Quiz-Buddy is a free version of our flagship product, Quiz-Buddy for Windows. Free Quiz-Buddy offers a lot of cool features: funny sounds, skins, four quiz modes, export to Palm, paper tests, flashcard printing and more. Adjusts to...
2.25 MB  
Communication Tools  -  Christmas Buddy Icons for AIM 1.0
Spread the Christmas joy on AIM with this special Christmas Buddy Icon set! This free Buddy Icon Set contains lots of Christmas related AIM Icons, completely free and easy to use. We hope you enjoy these Buddy Icons for AIM and have a great...
256 KB  
Libraries  -  Bundle::OS2_default 1.07
Bundle::OS2_default are Perl modules to install last for OS/2 binary distribution. SYNOPSIS perl -MCPAN -e "install Bundle::OS2_default" perl_ -MCPAN -e "force install, Bundle::OS2_default1" perl_ -MCPAN -e "force install,...
30.72 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 3.15.3
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