Может ли кто-нибудь предложить хорошую библиотеку ограничений для Haskell?

Question

Я начал изучать Constraint programming, и я чувствую, что это будет хорошо работать с Haskell (также мне нравится использовать Haskell).

Есть ли какие-либо зрелые рамки ограничений для Haskell?

Answer 1

Вы можете сделать чистую логическую программу с помощью LogicT.

Существует также множество интерфейсов для решателей SAT/SMT. Я написал yices-easy, чтобы узнать больше о программировании ограничений на основе SMT.