Solver for Binoxxo puzzles