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.
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, run the following command in macOS terminal (Applications->Utilities->Terminal)
sudo port install gr1c
To see what files were installed by gr1c, run:
port contents gr1c
To later upgrade gr1c, run:
sudo port selfupdate && sudo port upgrade gr1c
Reporting an issue on MacPorts Trac
The MacPorts Project uses a system called Trac to file tickets to report bugs and enhancement requests.
Though anyone may search Trac for tickets, you must have a GitHub account in order to login to Trac to create tickets.