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.


http://buddy.sourceforge.net





Separate each tag with a space.

Release Date:

2004-07-28

Topics:

License:

Ratings and Reviews

  • Thumbs up:

    5
  • Thumbs down:

    2
71% of 7 users recommend this project
  • Thumbs up

    hola soc julia bss

    posted by anonymous 20 days ago
    If you'd like to rate this review, please log in.
  • Thumbs up

    ooiiulo

    posted by anonymous 15 days ago
    If you'd like to rate this review, please log in.
  • Thumbs down

    oi

    posted by anonymous 42 days ago
    If you'd like to rate this review, please log in.

View all reviews

Project Feed

Rate and Review

Would you recommend this project?






<

Related Projects

Thanks for your rating!

Would you also like to write a review?





Skip Review