Leader badge

A Binary Decision Diagram library, with :
many highly efficient vectorized BDD operations,
dynamic variable reordering,
automated garbage collection,
a C++ interface with automatic reference counting,
and much more.

Project Activity

See All Activity >

Categories

Electronic Design Automation (EDA), Mathematics

License

Public Domain

Follow buddy

buddy Web Site

You Might Also Like
Propelling Payments for Software Platforms Icon
Propelling Payments for Software Platforms

For SaaS businesses to monetize payments through its turnkey PayFac-as-a-Service solution.

Exact Payments delivers easy-to-integrate embedded payment solutions enabling you to rapidly onboard merchants, instantly activate a variety of payment methods and accelerate your revenue — delivering an end-to-end payment processing platform for SaaS businesses.
Learn More
Rate This Project
Login To Rate This Project

User Ratings

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

There are no 2 star reviews.

Additional Project Details

Operating Systems

Linux, BSD

Languages

English

Intended Audience

Information Technology, Science/Research, Developers

Programming Language

C++, C

Related Categories

C++ Electronic Design Automation (EDA) Software, C++ Mathematics Software, C Electronic Design Automation (EDA) Software, C Mathematics Software

Registered

2004-06-22
Report inappropriate content