Home
Projects
randriu
synthesis
randriu/synthesis
23
stars
21
forks
23
watchers
C++
GNU General Public License v3.0
View on GitHub
1 Open Issue Need Help
Last updated: Sep 11, 2025
Open Issues Need Help
View All on GitHub
Use support for discounted properties in Storm
2 months ago
enhancement
good first issue
randriu/synthesis
23
C++