prismmodelchecker/prism-games

Stars

⭐ 34

PRs Reviewed

1

Bot Comments

3

Primary Language

Java

Merge Rate

100.0%

Avg Time to Merge

3h

Avg Additions

+1.6K

Avg Deletions

-123

Avg Files Changed

23