15

I've started learning about Constraint programming and I feel it is something that would work well with Haskell (also I enjoy using Haskell).

Are there any mature constraint frameworks for Haskell?

Don Stewart
  • 137,316
  • 36
  • 365
  • 468
Magnus
  • 1,222
  • 1
  • 12
  • 25

1 Answers1

2

You can do pure logic programing with LogicT.

There's also plenty of interfaces to SAT/SMT solvers. I wrote yices-easy in order to learn more about SMT-based constraint programming.

keegan
  • 1,617
  • 10
  • 13
  • There is also a [Haskell implementation of Constraint Handling Rules](https://www.comp.nus.edu.sg/~gregory/haskellchr/) and several [SMT solvers](https://www.google.com/search?q=haskell+%22smt+solver%22). – Anderson Green Dec 23 '16 at 23:15