我已经开始学习约束编程，我觉得它可以很好地与 Haskell 一起使用（我也喜欢使用 Haskell）。
Haskell 有成熟的约束框架吗？
问问题
1576 次
1 回答
2
您可以使用LogicT进行纯逻辑编程。
SAT/SMT求解器也有很多接口。我写yices-easy是为了了解更多关于基于 SMT 的约束规划。
于 2010-10-13T18:46:27.133 回答