v 0.13.2 Updated: 1 year, 5 months ago
Tools for GR(1) synthesis and related activities
A collection of tools for GR(1) synthesis and related activities. Its core functionality is checking realizability of and synthesizing strategies for GR(1) specifications, though it does much more.
To install gr1c, paste this into the macOS Terminal after installing MacPorts
sudo port install gr1c
| Installations | 0 |
| Requested Installations | 0 |