JJS-BDD provides a library for manipulating switching functions in an efficient way (based on sobdd).
There is a GUI for small bdd's where you can see how bdd's work (for teaching purposes).

Project Activity

See All Activity >

Categories

Mathematics

License

GNU General Public License version 2.0 (GPLv2)

Follow jjs-bdd

jjs-bdd Web Site

Other Useful Business Software
Gen AI apps are built with MongoDB Atlas Icon
Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
Start Free
Rate This Project
Login To Rate This Project

User Ratings

5.0 out of 5 stars
★★★★★
★★★★
★★★
★★
★
1
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

User Reviews

Filter Reviews:
All
  • ivanhutchins Posted 2013-06-23
    Jjs-bdd is perfect! Thanks.
    1 user found this review helpful.
Read more reviews >

Additional Project Details

Operating Systems

Linux, BSD

Languages

English, German

Intended Audience

Science/Research

User Interface

KDE

Programming Language

C++

Related Categories

C++ Mathematics Software

Registered

2003-01-20
Report inappropriate content