This is a solver for (reduced versions of) the Eternity II puzzle. It is written in Java and uses a SAT solver (Sat4j).
-
Notifications
You must be signed in to change notification settings - Fork 0
super7ramp/eternity2-solver
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A solver for (reduced versions of) the Eternity II puzzle
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published