Java Decision Diagram Libraries (BDD) download

This project has been moved to bitbucket.org:
- https://bitbucket.org/vahidi/jbdd/wiki/Home
- https://bitbucket.org/vahidi/jdd/wiki/Home

It includes two libraries for working with decision diagrams:
- JBDD: a Java interface to two popular BDD libraries, CUDD and BuDDy
- JDD: a native Java library supporting BDD, Z-BDD

Project Samples

A zero-suppressed binary decision diagram

Project Activity

See All Activity >

License

zlib/libpng License

Follow Java Decision Diagram Libraries (BDD)

Java Decision Diagram Libraries (BDD) Web Site

Other Useful Business Software

ClouDNS provides fast and secure Free DNS Hosting and Premium DNS Hosting with Global Anycast DNS Network.

Forever Free DNS Hosting with Dynamic DNS

ClouDNS is the biggest European provider of globally Managed DNS services, including GeoDNS, Anycast DNS and DDoS protected DNS. We also offer Domain names, Monitoring services, SSL Certificates, and Google Workspace.

Learn More

Rate This Project

User Reviews

Be the first to post a review of Java Decision Diagram Libraries (BDD)!

Additional Project Details

Operating Systems

BSD, Linux, Solaris, Windows

Languages

English

Intended Audience

Developers, Science/Research

Programming Language

C, Java

Related Categories

C Electronic Design Automation (EDA) Software, C Artificial Intelligence Software, C Mathematics Software, Java Electronic Design Automation (EDA) Software, Java Artificial Intelligence Software, Java Mathematics Software

Registered

2004-07-07

Similar Business Software

ActCAD Software

ActCAD is a native dwg/dxf cad software suitable for professional 2D drafting and 3D modeling projects. ActCAD is trusted by over 30000 users in over 103 countries for more than 10 years. The interface, commands, icons, dialogs, shortcuts etc. are very much similar to other popular cad software...

See Software
Apify

Apify is a full-stack web scraping and automation platform helping anyone get value from the web. At its core is Apify Store, a marketplace with over 10,000 Actors where developers build, publish, and monetize automation tools. Actors are serverless cloud programs that extract data, automate...

See Software
Nutrient SDK

Nutrient is the comprehensive solution for all your PDF needs, offering tools that effortlessly integrate and operate PDF functionality across any platform. 1. SDK PRODUCTS Integrate robust PDF functionality into iOS, Android, Windows, web (JavaScript), or any cross-platform technology,...

See Software
Pylon

Pylon is an All-in-one B2B Support Platform for modern B2B businesses. We bring together everything a post-sales teams team needs including a ticketing system, B2B omnichannel integrations (Slack Connect, Microsoft Teams), modern chat widget, knowledge base, AI support bot, account...

See Software
TinyPNG

TinyPNG (by Tinify) is a free image optimization tool trusted by developers and designers worldwide. It uses smart lossy compression to compress JPEG, PNG, WebP, and AVIF files by up to 80% without visible quality loss - boosting speed, SEO, and reducing bandwidth. Compress, convert, and...

See Software
Windsurf Editor

The Windsurf Editor is a free AI-powered IDE and AI coding assistant that accelerates development by providing intelligent code generation and agents in over 70 programming languages and more than 40 IDEs, including VSCode, JetBrains, and Jupyter Notebooks. With Windsurf, developers can write...

See Software