Solver for the Eternity II puzzle
- Solving edge-matching problems with satisfiability solvers
- Variable Transformation to a 2x2 domain space for Edge Matching Puzzles
- MILP and Max-Clique based heuristics for the Eternity II puzzle
- Tetravex is NP-complete
- Jigsaw Puzzles, Edge Matching, and Polyomino Packing: Connections and Complexity
- A two phase hyper-heuristic approach for solving the Eternity II puzzle
- Record with 5 hints - 460
- Rowscan record 230
- Reddit announcement of 470
- Exact Cover
- Second-Order Constraints in Constrant-Logic Games
- Eterntiy I discussion on parity
- How Eternity I was solved
Some of these have a copy of the e2pieces.txt file.
- jblackwood github repo
- jbucas C rewrite of jblackwood solver
- jfbucas github repo
- jfbucas viewer
- Anton Fagerberg github repo
- lumy github repo
- Eternity II Java Helper
- Fortran solver
- David Barr github repo
- Analysis of solving by skipping pieces
- Highest points of 480 using all 5 hints
- Forum homepage
- 241 with completed border
- Joshua Blackwood post on his 230 rowscan - 21 December 2021
- Joshua Blackwood post on his 470 - 31 March 2021
- Joshua Blackwood post on his 468, reply announcing a 469, and an in-depth discussion of the solver
- First 468 found - 30 August 2020
- Explanation of Jef Bucas visualiser
- First solution to Brendan's 10x10 puzzle
- 1xN edge blocks again
- 1xN edge blocks
- Complex theory with edge slip
- Orphan Sequences
- The Sudoku Back Door Hypothesis
- My constraint solver thread
- Branching factor
- Border branching factor
- Exact cover with colours from Knuth
- Partial solution 222 with completed border
- Found an invalid 2 piece combination (since a long time, valid for E2 with 5 hints)