Ruby-UDBM Ruby-UDBM is a Ruby binding for the UPPAAL DBM library.
Download

Ruby-UDBM Ranking & Summary

Ruby-UDBM Tags

Ruby ruby library UDBM library UPPAAL DBM library Ruby-UDBM UDBM

Ruby-UDBM Description

Ruby-UDBM is a Ruby binding for the UPPAAL DBM library. The Ruby DBM library has now a binding to the popular Ruby language. The binding offers several modules as different layers on top of the DBM library, depending on what the user wants to do. The different modules are:- udbm: This is the core binding that provides the classes Constraint to define constraints

Ruby-UDBM Related Software