GitHub repository: sokokaleb/lightsout-minisat
Primary language: Python
Created: 2016-09-25T15:18:47Z
Description: Lights Out! puzzle GUI using Minisat2 as solver.