Skip to content

Latest commit

 

History

History
6 lines (4 loc) · 308 Bytes

README.md

File metadata and controls

6 lines (4 loc) · 308 Bytes

HidokuSatSolver

Join the chat at https://gitter.im/Hidoku-Group/HidokuSatSolver

A program to solve Hidokus with MiniSat.