Play project
Formal Verification for Paren-balance checking's itch.io pageResults
| Criteria | Rank | Score* | Raw Score |
| Safety | #6 | 3.266 | 4.000 |
| Reproducibility | #8 | 1.633 | 2.000 |
| Generality | #9 | 0.816 | 1.000 |
| Benchmark | #9 | 1.633 | 2.000 |
| Novelty | #9 | 0.816 | 1.000 |
Ranked from 3 ratings. Score is adjusted from raw score by the median number of ratings per game in the jam.
Where did you participate?
CDMX
What are the full names of the participants?
Pablo Villalobos, Edu Infante Roldán, Nguyen Tran, Heramb Podar, Alejandro Acelas
What is your team name?
Perfectly Balanced
Leave a comment
Log in with itch.io to leave a comment.
Comments
I tried to run your collab but I get this error trying to use auto_LiRPA :