Projects / Ruby-BDD


BDDs [bry86] (or more precisely ROBDDs) are efficient data structures for representing a boolean formula. They are widely used in formal verification, in particular symbolic model-checking. Ruby- BDD, based on Buddy, provides access to BDDs from Ruby, a powerful and very easy to use object-oriented language. The purposes are quick prototyping and education.

Operating Systems

Recent releases

  •  09 Aug 2006 18:21

    Release Notes: This release adds support for bit vectors and finite domains. Most of the Buddy library is now available through a Ruby style API.

    •  24 May 2006 04:59

      No changes have been submitted for this release.


      Project Spotlight


      A Fluent OpenStack client API for Java.


      Project Spotlight

      TurnKey TWiki Appliance

      A TWiki appliance that is easy to use and lightweight.