gr1py
an enumerative reactive synthesis tool for the GR(1) fragment of LTL
OTHER License
Ecosystems:
Python
Commit Statistics
Past Year
All Time
Total Commits
103
Total Committers
2
Avg. Commits Per Committer
51.5
Bot Commits
0
Issue Statistics
Past Year
All Time
Total Pull Requests
0
2
Merged Pull Requests
0
2
Total Issues
0
4
Time to Close Issues
N/A
3 months
Package Rankings
Top 17.16% on Pypi.org