14
Ho iniziato a studiare su Constraint programming e penso che sia qualcosa che funzionerebbe bene con Haskell (mi piace anche usare Haskell).Qualcuno può suggerire una buona libreria di vincoli per Haskell?
Ci sono quadri di vincolo maturi per Haskell?
C'è anche un'implementazione [Haskell delle regole di gestione dei vincoli] (https://www.comp.nus.edu.sg/~gregory/haskellchr/) e diversi [solutori SMT] (https://www.google .com/search? q = Haskell +% 22smt + risolutore% 22). –