Puzzle Solvers in Copris

This page presents puzzle solvers written in Copris, a Constraint Programming DSL (Domain-Specific Language) embedded in Scala.

• Akari Solver in Copris (美術館)
• Fillomino Solver in Copris (フィルオミノ)
• Hakyuu Solver in Copris (波及効果)
• Hashiwokakero Solver in Copris (橋をかけろ)
• Heyawake Solver in Copris (へやわけ)
• Hitori Solver in Copris (ひとりにしてくれ)
• Kakuro Solver in Copris (カックロ)
• Kurodoko Solver in Copris (黒マスはどこだ，黒どこ)
• Masyu Solver in Copris (マシュ)
• Nonogram Solver in Copris (ノノグラム，お絵かきロジック，イラストロジック)
• Numberlink Solver in Copris (ナンバーリンク)
• Nurikabe Solver in Copris (ぬりかべ)
• Polarium Solver in Copris (直感ひとふで)
• Shakashaka Solver in Copris (シャカシャカ)
• Shikaku Solver in Copris (四角に切れ)
• Slitherlink Solver in Copris (スリザーリンク)
• Sokoban Solver in Copris (倉庫番)
• Sudoku Solver in Copris (数独，ナンプレ，ナンバーリンク)
• Yajilin Solver in Copris (ヤジリン)

• Copris
  • Introduction to Constraint Programming in Copris (English, Japanese)
• Sugar
  • Solving Puzzles with Sugar Constraint Solver (in Japanese)
  • http://karetta.jp/book-cover/withoutprogramming (by Hirofumi Fujiwara, in Japanese)
• Sat4j (SAT solver in Java)
• Nikoli
• http://www.janko.at/Raetsel/
• Puzzle Generator (by Hirofumi Fujiwara)
• Puzzled by Titles (by Nikolai Beluhov)