任何人都可以为Haskell建议一个好的约束库吗？

Question

我开始学习Constraint programming，我觉得它适用于Haskell（我也喜欢使用Haskell）。

Haskell有没有成熟的约束框架？

Answer 1

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

SAT / SMT解算器还有很多接口。我写了yices-easy以了解有关基于SMT的约束编程的更多信息。