marijnheule / edge-matching

SAT encoding of edge-matching puzzles

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

marijnheule/edge-matching Stargazers