GitHub repository: stevenmburns/kenken
Primary language: Python
Created: 2019-04-12T16:44:23Z
Description: KenKen solver using SAT