| Library | ||||
| Verification | ||||
| bdd | 0.1 | Alexandre David | development | 2006-05-23T16:11:44Z |
| Ruby binding for Buddy (BDD library): Reduced Ordered Binary Decision Diagrams are efficient data structures for repre.. | ||||
| udbm | 0.6 | Alexandre David | development | 2006-05-23T16:07:03Z |
| Ruby binding for the UPPAAL DBM library: Ruby-UDBM is a Ruby binding for the UPPAAL DBM library. It offers access to t.. | ||||
Total 2 projects in this subcategory.