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 29.879.235 Times

BDD BuDDy 2.4

  Date Added: April 21, 2010  |  Visits: 1.527

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
Text Chat Clients  -  BuddyStatus 1.2
Monitor buddy status, give notification when buddy is online. Supported IM: Skype/Tecent QQ/Yahoo Messenger. More IMs are adding.
5.32 MB  
Calculators  -  Multicalc 1.0
Multicalc was written specifically for calculating time, but it can also be used as a normal calculator and for converting decimal numbers to binary, binary to decimal, decimal to hexadecimal, and hexadecimal to decimal. Features include: Normal...
340 KB  
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  
Multimedia & Graphics  -  Web Activity Diagrams 1
Free Online UML Activity Diagram and UML Use Case Diagram Creator - Create Activity and Use Case Diagrams in MS PowerPoint and PNG image formats. MS PowerPoint formatting can be applied to output architecture artifacts.
8 KB  
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  
Libraries  -  Ruby-BDD 0.2
Ruby-BDD is a BDD Binding for Ruby. BDDs [bry86,and97] (or more precisely ROBDDs) are efficient data structures for representing boolean formula. They are widely used in formal verification, in particular symbolic model-checking. The idea of...
37.89 KB  
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...
 
NEW DOWNLOADS IN PROGRAMMING, LIBRARIES
Programming  -  FLEX-db Digital Asset Manager 3.0.9
FLEX-db - an enterprise Digital Asset Manager (DAM). It ingests and links metadata with files, creates thumbnails, and processes files using business rules. FLEX-db has a JSP client, Java app server for file input and output and an EJB metadata...
21.57 MB  
Programming  -  Libicom 0.9.0
The libicom library is a character based dynamicly linked library for Linux. It is used to remotely control the Icom IC-R8500 wide band receiver via an RS232 link. All call and return parameters to the control functions are character string based....
20.48 KB  
Programming  -  dotdesktop 0.3
Dotdesktop library provides ability to parse desktop entry file and access the information in a convenient way. Desktop entry file format is defined by freedesktop.org, it is used to describe information about an application such as the name and...
327.68 KB  
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  -  libyasl 0.2
Libyasl is a C++ class library to easily realize TCP/UDP/Multicast clientsand servers in IPv4 and IPv6 environments under GNU/Linux systems.
143.36 KB  
Libraries  -  wolfSSL 3.11.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...
2.73 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