Ruby-BDDRuby-BDD is a BDD Binding for Ruby. | |
Download |
Ruby-BDD Ranking & Summary
Advertisement
- License:
- GPL
- Price:
- FREE
- Publisher Name:
- Alexandre David
- Publisher web site:
- http://www.cs.aau.dk/~adavid/tiga/
Ruby-BDD Tags
Ruby-BDD Description
Ruby-BDD is a BDD Binding for Ruby. Ruby-BDD is a BDD Binding for Ruby.BDDs (or more precisely ROBDDs) are efficient data structures for representing boolean formula. They are widely used in formal verification, in particular symbolic model-checking. The idea of symbolic model-checking is to represent sets of states transition relations as formula (and to compute the fix-point of the set of all reachable states for reachability analysis).Buddy is a BDD library written in C with an API both in C and C++. It is developer friendly with a simple interface. It supports all standard BDD operations, variable ordering, printing, has automated garbage collection, and is compilable on Unix and Windows platforms.Ruby, despite being a scripting language, is a powerful and clean object-oriented language that is very easy to learn and use. In particular it is well-suited for quick prototyping and education purposes. Ruby-BDD is a binding for Ruby based on Buddy that provides BDD classes to create and manipulate BDDs in Ruby.What's New in This Release:· This release adds support for bit vectors and finite domains.· Most of the Buddy library is now available through a Ruby style API.
Ruby-BDD Related Software