14
Ich habe angefangen, über Constraint programming zu lernen, und ich fühle, dass es etwas ist, das gut mit Haskell arbeiten würde (auch genieße ich, Haskell zu verwenden).Kann jemand eine gute Constraint-Bibliothek für Haskell vorschlagen?
Gibt es reife Randbedingungen für Haskell?
Es gibt auch eine [Haskell-Implementierung von Constraint-Handling-Regeln] (https://www.comp.nus.edu.sg/~gregory/haskellchr/) und mehrere [SMT-Solver] (https://www.google .com/Suche? q = Haskell +% 22smt + Löser% 22). –