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

Posted 2023-05-08

【中文标题】任何人都可以为 Haskell 推荐一个好的约束库吗？

【英文标题】：Can anyone suggest a good constraint library for Haskell?

【发布时间】：2011-04-25 00:12:33

【问题描述】：

我已经开始了解Constraint programming，我觉得它可以很好地与 Haskell 配合使用（我也喜欢使用 Haskell）。

Haskell 有成熟的约束框架吗？

【参考方案1】：

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

SAT/SMT 求解器还有很多接口。我写了yices-easy 是为了了解更多关于基于 SMT 的约束规划。

【讨论】：

还有一个Haskell implementation of Constraint Handling Rules和几个SMT solvers。