Mag*_*nus 14 haskell package constraint-programming
我已经开始学习Constraint编程了,我觉得它适用于Haskell(我喜欢使用Haskell).
Haskell有任何成熟的约束框架吗？
kee*_*gan 2
您可以使用LogicT进行纯逻辑编程。
还有大量 SAT/SMT 求解器的接口。我编写yices-easy是为了了解有关基于 SMT 的约束编程的更多信息。
归档时间：
14 年，12 月 前
查看次数：
1484 次
最近记录：
14 年，5 月 前