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

Other Useful Business Software
Simply Smarter SaaS Backup for Microsoft, Google and Salesforce. Icon
Simply Smarter SaaS Backup for Microsoft, Google and Salesforce.

Spanning proactively defends mission-critical data with automated backup that is secure, affordable and insanely easy to use.

Comprehensive data protection. Simple recovery. Built in trust and transparency. See for yourself why Spanning is the leading cloud-to-cloud backup solution.
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:
All
  • elenostapen Posted 2012-10-22
    Great project! Thanks for amazing work!
  • attilaatalar Posted 2012-10-22
    Very helpful, fast and easy product!
  • svetnickol Posted 2012-10-21
    This is a wonderful project. TNX!
  • panoviktori Posted 2012-10-06
    Awesome product, thanks for sharing!
  • johnlong1881 Posted 2012-09-13
    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
Report inappropriate content