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