Answer Set Programming がなんか使えそうと思ったので勉強中。
例題を通じて理解を深めようと思っている
#Answer Set Programming(ASP)とは
組み合わせの問題を解決するためのツール。
https://potassco.org/
#例題
例題０ 組み合わせ
例題１ コイン問題（制約充足問題）
例題２ コイン問題２
以下予定
部分和問題
魔法陣
グラフ彩色問題
数独
ビンパッキング問題
ナップサック問題
クイーン問題
制約最適化問題
ハノイの塔
巡回セールスマン問題
ブロックワールド問題
参考
https://potassco.org/
https://qiita.com/yutaro-t/items/3a361aef5f9610ae4b8e
Coprisによる制約プログラミング入門