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