Может ли кто-нибудь предложить хорошую библиотеку ограничений для Haskell? Я начал изучать Программирование ограничений, и я чувствую, что это будет хорошо работать с Haskell (также мне нравится использовать Haskell). Существуют ли какие-либо зрелые рамки ограничений для Haskell? Ответ 1 Вы можете выполнить чистую логическую программу с помощью LogicT. Также имеется множество интерфейсов для решателей SAT/SMT. Я написал yices-easy, чтобы узнать больше о программировании ограничений на основе SMT.
Ответ 1 Вы можете выполнить чистую логическую программу с помощью LogicT. Также имеется множество интерфейсов для решателей SAT/SMT. Я написал yices-easy, чтобы узнать больше о программировании ограничений на основе SMT.
