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 >

License

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

Follow JavaBDD

JavaBDD Web Site

Other Useful Business Software
High-performance Open Source API Gateway Icon
High-performance Open Source API Gateway

KrakenD is a stateless, distributed, high-performance API Gateway that helps you effortlessly adopt microservices

KrakenD is a high-performance API Gateway optimized for resource efficiency, capable of managing 70,000 requests per second on a single instance. The stateless architecture allows for straightforward, linear scalability, eliminating the need for complex coordination or database maintenance.
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