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
Business Continuity Solutions | ConnectWise BCDR Icon
Business Continuity Solutions | ConnectWise BCDR

Build a foundation for data security and disaster recovery to fit your clients’ needs no matter the budget.

Whether natural disaster, cyberattack, or plain-old human error, data can disappear in the blink of an eye. ConnectWise BCDR (formerly Recover) delivers reliable and secure backup and disaster recovery backed by powerful automation and a 24/7 NOC to get your clients back to work in minutes, not days.
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