eternity2-solver This is a solver for (reduced versions of) the Eternity II puzzle. It is written in Java and uses a SAT solver (Sat4j).