/eternity2

Efficient encoding for edge matching puzzles, to solve the Eternity II puzzle

Primary LanguageLean

Watchers