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
AI-powered service management for IT and enterprise teams Icon
AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Try it Free
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

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