haskell - Haskell の優れた制約ライブラリを提案できる人はいますか?

Question

Constraint プログラミングについて学び始めましたが、Haskell でうまく機能するものだと感じています (Haskell の使用も楽しんでいます)。

Haskell 用の成熟した制約フレームワークはありますか?

Answer 1

LogicTで純粋な論理プログラミングを行うことができます。

SAT/SMT ソルバーへのインターフェースも多数あります。SMT ベースの制約プログラミングについてさらに学ぶために、yices-easy を作成しました。