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 >

License

Public Domain

Follow buddy

buddy Web Site

Other Useful Business Software
Our Free Plans just got better! | Auth0 Icon
Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Try free now
Rate This Project
Login To Rate This Project

User Ratings

★★★★★
★★★★
★★★
★★
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

  • Great project! Thanks for amazing work!
  • Very helpful, fast and easy product!
  • This is a wonderful project. TNX!
  • Awesome product, thanks for sharing!
  • Buddy is a must-have software for everyone. Go ahead and try it now!
Read more 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