gr1c (math/gr1c) Updated: 8 months ago Add to my watchlist
Tools for GR(1) synthesis and related activitiesA 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.
Version: 0.13.2 License: BSD
GitHub
| Maintainers | slivingston |
| Categories | devel math |
| Homepage | http://scottman.net/2012/gr1c |
| Platforms | darwin |
| Variants |
|
"gr1c" depends on
lib (1)
build (3)
Ports that depend on "gr1c"
No ports
Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck results
gr1c seems to have been updated (port version: 0.13.2, new version: 0.13.3)
livecheck ran: 3 hours ago