GitHub repository: Joeri1324/sudoko-sat-solver
Primary language: Python
Created: 2017-09-07T16:47:14Z
Description: Soduko problem instances are transformed to sat instances and subsequently solved.