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