有人能为Haskell推荐一个好的约束库吗？

我已经开始学习Haskell，我觉得它可以很好地与Haskell配合使用（我也喜欢使用Haskell）

---

Haskell是否有成熟的约束框架？

您可以使用它进行纯逻辑编程

SAT/SMT解算器也有很多接口。我写这篇文章是为了进一步了解基于SMT的约束编程。

还有一个和几个。