GitHub repository: JamesGallicchio/eternity2
Primary language: Lean
Description: Efficient encoding for edge matching puzzles, to solve the Eternity II puzzle