A little library for modeling labeled transition systems with a collaborative Web stepper.
Build status:
Authors | |||||||
---|---|---|---|---|---|---|---|
Documentation | |||||||
Tags | |||||||
License | |||||||
Last updated | Tuesday, August 15th, 2017 3:51:12pm (UTC) | ||||||
Ring | 1 | ||||||
Conflicts | None | ||||||
Dependencies | |||||||
Most recent build results | |||||||
Version Exceptions |
| ||||||
Last checked | Tuesday, April 29th, 2025 12:15:25am (UTC) | ||||||
Last edited | Wednesday, November 27th, 2013 9:52:39pm (UTC) | ||||||
Date added | N/A | ||||||
Modules |
|