14
我已經開始學習Constraint programming，我覺得它是什麼，會用哈斯克爾（我也喜歡使用哈斯克爾）很好地工作。任何人都可以爲Haskell建議一個好的約束庫嗎？
是否有哈斯克爾任何成熟的約束框架？
A
回答
1
你可以做純邏輯編程與LogicT。
中也有很多的接口，SAT/SMT求解器。我爲了瞭解更多關於基於SMT-約束編程寫yices-easy。
相關問題
- 1. 任何人都可以建議標題？
- 2. 有人可以建議一個好的圖像緩存庫嗎？
- 3. 任何人都可以解釋這個約束是如何運作的嗎？
- 4. 任何人都可以推薦一個好的java庫來反思視頻嗎？
- 5. 任何人都可以推薦一個DataMatrix解碼庫嗎？
- 6. 任何人都可以提出一個好的PHP調試包？
- 7. 任何人都可以建議我良好的鏈接或rhomobile教程？
- 8. 任何人都可以想到PHP框架的好名字嗎？
- 9. 任何人都可以提出自學Drupal的好網站嗎？
- 10. 任何人都可以提出一個很好的PHP解析類嗎？
- 11. 任何人都可以推薦一個好的PHP HTML清潔劑嗎？
- 12. 任何人都可以推薦一個用Eclipse設置Hibernate3的好參考嗎？
- 13. 任何人都可以提出一個好的輕量級鋼軌CMS嗎？
- 14. 任何人都可以建議一個很好的資源，以瞭解magento的配置xml文件
- 15. 任何人都可以建議爲asp.net網頁界面設計很好的指導方針嗎？
- 16. 任何人都可以建議使用jenkins做angularjs的CI/CD的步驟嗎？
- 17. 任何人都可以幫助我嗎？
- 18. 任何人都可以解釋OAuth嗎？
- 19. 任何人都可以糾正它嗎？
- 20. 任何人都可以爲我簡化這個算法嗎？
- 21. 任何人都可以建議從哪裏開始學習Python嗎？
- 22. 任何人都可以共享一個示例.lldbinit文件嗎？
- 23. 任何人都可以推薦CodeIgniter 1.7.x的認證庫嗎？
- 24. 任何人都可以請建議一個好的測試工作評估模板
- 25. 有人可以建議我爲android的svg庫嗎？
- 26. 任何人都可以點我一篇關於「抽象HTML」的好文章嗎？
- 27. 任何人都可以爲C＃提供一個漂亮的vim插件嗎？
- 28. 任何人都可以在Delphi或FreePascal中指向AMF庫嗎？
- 29. 在@WebServlet（「你好」）得到錯誤任何人都可以有任何想法嗎？
- 30. local_variables的行爲 - 任何人都可以解釋嗎？
還有一個[Haskell實現的約束處理規則（https://www.comp.nus.edu.sg/~gregory/haskellchr/）和幾個[SMT求解器（https://www.google的.com /查詢q =哈斯克爾+％22smt +求解％22）。 – 2016-12-23 23:15:04