Algorithms.BF.Testing
moves_to_hex
moves_to_pos
set_bool
fromPos
double
oracle_with_input
run_oracle_with_input
diffuse_with_input
run_diffuse_with_input
walk_with_input
run_walk_with_input
undo_oracle_with_input
run_undo_oracle_with_input
run_odwu_with_input
repeat_odwu_n
repeat_odwu_infinite
tidy
hex_with_input
run_hex_with_input
checkwin_trace