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