14
Empecé a aprender acerca de Constraint programming y creo que es algo que funcionaría bien con Haskell (también disfruto de usar Haskell).¿Alguien puede sugerir una buena biblioteca de restricciones para Haskell?
¿Existen marcos de restricciones maduros para Haskell?
También hay una [implementación de Haskell de las reglas de manejo de restricciones] (https://www.comp.nus.edu.sg/~gregory/haskellchr/) y varios [solucionadores de SMT] (https://www.google .com/search? q = haskell +% 22smt + solver% 22). –