7 releases
| 0.2.3 | Jul 22, 2023 |
|---|---|
| 0.2.2 | Jul 22, 2023 |
| 0.1.2 | Mar 26, 2022 |
#54 in #verifier
37 downloads per month
38KB
880 lines
sokoban, a general purpose crate for verifying sokoban puzzle states and solutions.
Dependencies
~220–750KB
~17K SLoC