randriu

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++