The "/btnet_3_4_4_release.._4_release_notes.txt" file could not be found or is not available. Please select another file.

buddy

33 Recommendations
50 Downloads (This Week)
Download buddy-2.4.tar.gz
Browse All Files

Description

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.

buddy Web Site

User Ratings

80% recommended
 
 
33
8
Write a Review

User Reviews

Sort By
Most Helpful
Filter
All
  • Posted by Radu GRIGORE — 2010-03-05

    it's very fast and has a clean API

Read more reviews

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.