Java library for manipulating BDDs (Binary Decision Diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, etc.
Release Date:
Topic:
Operating System:
All POSIX (Linux/BSD/UNIX-like OSes),
Linux, OS Independent (Written in an interpreted language)
License:
Translations:
Intended Audience:
Programming Language:
Registered:
Ratings and Reviews
Be the first to post a text review of JavaBDD. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
Tracker artifact added
Anonymous created the Caches sometimes created with initial (non resized) size. artifact -
Code committed
-
Code committed
-
Code committed
-
Code committed
-
Code committed
-
Code committed
-
Code committed
-
Code committed
-
Code committed
Rate and Review
Be the first person to add a text review.
Related Projects
-
Modeling software including Archimate
This project is meant to maintain a model online controlled by a web interface. The model can be adjusted to show different kind of web pages. Demo and Archimate diagrams can be made (using the browser creating SVG diagrams).
-
BDD compression
An algorithm for compression and decompression of Binary Decision Diagrams will in many cases reduce the size of the BDD to 1-2 bits per node.
-
JavaBDD Actions
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
