JavaBDD

5.0 Stars (4)
34 Downloads (This Week)
Last Update:
Download javabdd_osx_1.0b2.tar.gz
Browse All Files
Windows Mac Linux

Description

Java library for manipulating BDDs (Binary Decision Diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, etc.

JavaBDD Web Site

Update Notifications





User Ratings

★★★★★
★★★★
★★★
★★
4
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
Write a Review

User Reviews

There are no 4 star reviews.

Additional Project Details

Languages

English

Intended Audience

Developers, Science/Research

Programming Language

Java

Registered

2003-01-29
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.