【发布时间】：2011-04-25 00:12:33
【问题描述】：
我已经开始了解Constraint programming，我觉得它可以很好地与 Haskell 配合使用（我也喜欢使用 Haskell）。
Haskell 有成熟的约束框架吗？
【问题讨论】：
标签： haskell package constraint-programming
【发布时间】：2011-04-25 00:12:33
【问题描述】：
您可以使用LogicT 进行纯逻辑编程。
SAT/SMT 求解器还有很多接口。我写了yices-easy 是为了了解更多关于基于 SMT 的约束规划。