A sokoban solver in Rust, using the sylvan bdd-library.