pub fn do_sylvan(soko: &SokoAnnotatedBoard) {
  sylvan_init();
  let fields = soko.board.as_slice();
  let initial = to_bdd_init(fields);
  let transitions = to_bdd_trans(fields);
  let goal = to_bdd_goal(fields);
  // solve!
  solve_the_puzzle(initial, transitions, goal, fields);
}
/// Explores the puzzle using sylvan, and prints the solution.
Explores the puzzle using sylvan, and prints the solution.
Explores the puzzle using sylvan and prints the solution .
pub fn do_sylvan(soko: &SokoAnnotatedBoard) {
  sylvan_init();
  let fields = soko.board.as_slice();
  let initial = to_bdd_init(fields);
  let transitions = to_bdd_trans(fields);
  let goal = to_bdd_goal(fields);
  // solve!
  solve_the_puzzle(initial, transitions, goal, fields);
}
pub fn do_sylvan ( soko : & SokoAnnotatedBoard ) { sylvan_init ( ) ; let fields = soko . board . as_slice ( ) ; let initial = to_bdd_init ( fields ) ; let transitions = to_bdd_trans ( fields ) ; let goal = to_bdd_goal ( fields ) ; // solve! solve_the_puzzle ( initial , transitions , goal , fields ) ; }
Explores the puzzle using sylvan, and prints the solution.
Explores the puzzle using sylvan and prints the solution .
soko
&SokoAnnotatedBoard
soko
&SokoAnnotatedBoard