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
$300 Free Credits to Build on Google Cloud Icon
$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Start Free
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
    5 out of 5 stars
    Great project! Thanks for amazing work!
  • attilaatalar Posted 2012-10-22
    5 out of 5 stars
    Very helpful, fast and easy product!
  • svetnickol Posted 2012-10-21
    5 out of 5 stars
    This is a wonderful project. TNX!
  • panoviktori Posted 2012-10-06
    5 out of 5 stars
    Awesome product, thanks for sharing!
  • johnlong1881 Posted 2012-09-13
    5 out of 5 stars
    Buddy is a must-have software for everyone. Go ahead and try it now!
Read more reviews >

Additional Project Details

Operating Systems

BSD, Linux

Languages

English

Intended Audience

Developers, Information Technology, Science/Research

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