GitHub repository: praveenkulkarni1996/slitherlinky
Primary language: Python
Created: 2018-02-17T16:43:53Z
Description: A solver for Slitherlinky (also called Loop-the-Loop) that uses SAT.