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

Project Activity

See All Activity >

Categories

Software Development, Scientific/Engineering

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow JavaBDD

JavaBDD Web Site

Other Useful Business Software
Your top-rated shield against malware and online scams | Avast Free Antivirus Icon
Your top-rated shield against malware and online scams | Avast Free Antivirus

Browse and email in peace, supported by clever AI

Our antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.
Free Download
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of JavaBDD!

Additional Project Details

Operating Systems

Linux, BSD, Windows

Languages

English

Intended Audience

Science/Research, Developers

Programming Language

Java

Related Categories

Java Software Development Software, Java Scientific Engineering

Registered

2003-01-29
Report inappropriate content