/edge-matching

SAT encoding of edge-matching puzzles

Primary LanguageC

Stargazers