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