Skip to content
#

cp-sat-or-tools

Star

Here is 1 public repository matching this topic...

Xam3k / diamond_dilemma_puzzle_solvers

Star 0

Solvers, records, and negative results for the never-solved gold challenge of the Diamond Dilemma (1988 prize puzzle): 142/160 tiles placed perfectly, 208/240 edges matched, and a documented map of every approach ( exhaustive C solver with CP-SAT oracle, large-neighbourhood optimizers,...)..

puzzle constraint-programming local-search combinatorial-optimization or-tools eternity2 unsolved cp-sat-or-tools edge-matching-puzzle eternity-ii
  • Updated Jul 20, 2026

Improve this page

Add a description, image, and links to the cp-sat-or-tools topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the cp-sat-or-tools topic, visit your repo's landing page and select "manage topics."

Learn more