14
मैंने Constraint programming के बारे में सीखना शुरू कर दिया है और मुझे लगता है कि यह ऐसा कुछ है जो हास्केल के साथ अच्छी तरह से काम करेगा (मैं भी हास्केल का उपयोग कर आनंद लेता हूं)।क्या कोई हास्केल के लिए एक अच्छी बाधा पुस्तकालय सुझा सकता है?
क्या हास्केल के लिए कोई परिपक्व बाधा ढांचा है?
एक [बाधा प्रबंधन हैंडलिंग नियमों का हास्केल कार्यान्वयन] भी है (https://www.comp.nus.edu.sg/~gregory/haskellchr/) और कई [एसएमटी सॉल्वर] (https://www.google .com/खोज? q = Haskell +% 22smt + solver% 22)। –