zig_minesolver
