JavaBDD 1.0b2

Company: joewhaley

Date Added: August 30, 2013 | Visits: 524

Report Broken Link
Printer Friendly Version

Product Homepage
Download (41 downloads)

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 this set of lecture notes by Henrik Reif Andersen.<br /><br />The JavaBDD API is based on that of the popular BuDDy package, a BDD package written in C by J?rn Lind-Nielsen. However, JavaBDD's API is designed to be object-oriented. The ugly C function interface and reference counting schemes have been hidden underneath a uniform, object-oriented interface.

Requirements: No special requirements

Platforms: *nix, Linux

Keyword: Andersenthe, Based, Buddy, Counting, Designed, Frn, Function, Hidden, Interface, Javabdd, Lindnielsen, Objectoriented, Package, Popular, Reference, Schemes, Underneath, Uniform, Written

Users rating: 0/10

License: Freeware

Size: 819.2 KB

USER REVIEWS

More Reviews or Write Review

JAVABDD RELATED

Utilities - JTime Manager 1.5.3 Beta JTime Manager is a java based desktop application designed to keep the time count for any activity, it's a great tool for developers who need to have a time record for example those who has to work under PSP/TSP or CMMI process	512 KB
Utilities - wormwood 0.2 wormwood is a GNU/Linux based operating system designed for mid-grade machines. It is built from a minimal Ubuntu install and uses the XFCE desktop environment. It is a very unique distribution and improves with every release...	661.11 MB
Audio Tools - RipBot264 1.16.4 The RipBot264 application was designed to help you convert your videos to the popular formats. This small app written in Delphi is specially for people looking for something simple without exotic filters and unnecessary settings.	26.8 MB
Multimedia & Graphics - Function Plot 2D New Function Plot 2D is a small, simple, Java based application specially designed to help you create function plots. Function Plot 2D lets you create a 2D plot, all you need to do is give an input function. for WindowsAll
Multimedia & Graphics - Function Plot 2D with Sections New Function Plot 2D with Sections is a small, simple, Java based application specially designed to help you create function plots. Function Plot 2D lets you create a 2D plot, all you need to do is give an input function. for WindowsAll
Network & Internet - Project-based Calendaring System 0.7.1-1 Project-Based Calendaring System (in short PBCS) is an open source web-based calendaring system, designed to be an useful aid for people who manage schedules for one or more persons. Project-based Calendaring Systems main feature, which...	2.7 MB
Development Tools - Web-based Asset Tracking System 0.2 A LAMP-based inventory system designed for schools. It was originally designed to meet the auditing requirements for private schools. It will manage any type of device you wish to put in it-servers, desktops, projectors, cameras, etc.Since...	143.36 KB
Audio Tools - RateIt 0.1 RateIt is a GUI tool for performing subjective testing of audio samples based on the MUltiple Stimuli with Hidden Reference and Anchor (MUSHRA) methodology as specified in ITU-R recommendation BS.1534-1. This project is dual-licensed under the...	27.65 KB
Utilities - XPontus XML Editor 1.0.0 RC3 XPontus is a free java based XML editor designed towards text editing. XPontus XML Editor aims to provide a free alternative to commercial XML Editors. As XPontus is written in Java it is available for all java enabled operating systems. It has...	17.5 MB
Utilities - Ruby Text-Based Router Search 1.0 Ruby text-based router search designed to query Cisco 72xx and 10k Routers for Cable modem and CPE information. It is designed to work both on UNIX and NT enviroments. Requirement is the Ruby language interpreter.	12.23 KB

NEW DOWNLOADS IN LINUX SOFTWARE, UTILITIES

Linux Software - EasyEDA PCB Designer for Linux 2.0.0 EasyEDA, a great web based EDA(Electronics Design Automation) tool, online PCB tool, online PCB software for electronics engineers, educators, students, makers and enthusiasts. Theres no need to install any software. Just open EasyEDA in any...	34.4 MB
Linux Software - wpCache® WordPress HTTP Cache 1.9 wpCacheÂ® is a high-performance, distributed object, caching system application, generic in nature, but intended for use in speeding up dynamic web applications, by decreasing database load time. wpCacheÂ® decreases dramatically the page...	3.51 MB
Linux Software - Polling Autodialer Software 3.4 ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....	488 B
Linux Software - Total Video Converter Mac Free 3.5.5 Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...	17.7 MB
Linux Software - Skeith mod_log_sql Analyzer 2.10beta2 Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.	47.5 KB
Utilities - Nessconnect 1.0.2 Nessconnect is a GUI, CLI and API client for Nessus and Nessus compatible servers. With an improved user interface, it provides local session management, scan templates, report generation through XSLT, charts and graphs, and vulnerability trending.	819.2 KB
Utilities - Dynamic Power Management 2.6.16 The Dynamic Power Management (DPM) project explores technologies to improve power conservation capabilities of platforms based on open source software. Of particular interest are techniques applicable to running systems, adjusting power parameters...	30.72 KB
Utilities - Ethernet bridge tables 2.4.37.9 Ethernet bridge tables - Linux Ethernet filter for the Linux bridge. The 2.4-ebtables-brnf package contains the ebtables+bridge-nf patch. Be sure to check out the ebtables hp. This site also contains the arptables userspace tool.	40.96 KB
Utilities - SaraB 1.0.0 SaraB works with DAR (Disk ARchive) to schedule and rotate backups on random-access media (i.e. hard drives, CDs, DVDs, Zip, etc. Basically anything except magnetic tapes.) This reduces hassle for the administrator by providing an automatic backup...	20.48 KB
Utilities - Command Not Found 0.2.41 Command Not Found is a program that uses a cache of existing programs and their associated packages to aid users in their day-to-day command-line work. Usage: command-not-found [options] Options: ...	30.72 KB

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