gr1c (math/gr1c) Updated: 1 week, 4 days 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.3 License: BSD
GitHub
Statistics for selected duration
2025-Oct-19 to 2025-Nov-18
No stats available for this selection.
Try changing the range of days. Alternatively visit statistics page to have an overall look at the submitted statistics.