Noq
Claspy is a python constraint solver based on the answer set solver 'clasp'. It allows you to quickly solve many kinds of logic puzzles.
解を最大10個表示。
本当に動作するのか?というパズル種もあるっぽいですね
対応するパズル種
akari
aquarium
balance loop
battleships
binairo
「1か0を入れる。各列各行で1と0の数は等しい。どの2行を選んでも01の配列は異なる。列も同様。」
castle wall
cave
country road
doppelblock
easy as abc
fillomino
five/four/N cells ファイブセルズ・フォーセルズ
ごきげんななめ
橋をかけろ
へやわけ
ひとりにしてくれ
ホタルビーム
カックロ
kurotto
kuromasu(黒マスはどこだ)
lits
magnets
masyu
minesweeper
流れるループ
ナンロー
nonogram
norinori
numberlink
nuribou
ぬりかべ
ぬりみさき
温泉めぐり
ripple effect 波及効果
shakashaka
shikaku
shimaguni
skyscrapers
スリリン
天体ショー
スターバトル
statue park (shape set はテトロミノ、ペントミノ、
sudoku
tapa
tapa-like loop
tatamibari
tents
yajilin
やじさんかずさん
yinyang