H

Hidoku Solver

Solver for Hidoku games using the SAT-Solver Riss of the Technical University of Dresden