Projects / Ruby-BDD

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.

Tags
Operating Systems
Implementation

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.

      Screenshot

      Project Spotlight

      OpenStack4j

      A Fluent OpenStack client API for Java.

      Screenshot

      Project Spotlight

      TurnKey TWiki Appliance

      A TWiki appliance that is easy to use and lightweight.