0
我需要SAT解算器庫或程序，用C++或haskell編寫。我想知道你爲什麼選擇它，該圖書館/計劃的優點和缺點是什麼。我需要它儘可能快，並且易於使用。用C++或haskell編寫的SAT求解器的建議。優點和缺點
感謝您的回答！
A
回答
4
試試這個（快速SAT解算器）：
相關問題
- 1. 組合C＃和C的優點/缺點
- 2. Three20的優點和缺點
- 3. smartGWT的缺點和優點
- 4. N2CMS的優點和缺點
- 5. 優點和缺點解釋語言
- 6. 註解與XML，優點和缺點
- 7. 優點/缺點MemoryStream.Position或MemoryStream.Seek
- 8. Castle Windsor或Spring.NET - 優點和缺點
- 9. Axis2優於WCF的優點和缺點
- 10. 缺點和與「http://www.site.org」協議少的URL「//site.org」的優點
- 11. 對數據庫使用RDS或容器（ECS）？優點和缺點
- 12. CAS編程的優缺點
- 13. 使用java rmi的優點和缺點
- 14. 使用ReactJS的優點和缺點
- 15. 使用startManagingCursor（）的優點和缺點
- 16. 在編寫Ken-Ken求解器時對地道Haskell的初級建議
- 17. 解析INI文件的優點/缺點
- 18. 默認編程的優點/缺點J
- 19. 優點，缺點和寫作使用的語言.NET
- 20. 要求用戶使用Facebook登錄站點的優點/缺點
- 21. 以編程方式強制執行外鍵的優點和缺點比數據庫中的優點和缺點
- 22. Haxe和Kivy的優點和缺點
- 23. CPU親和力的優點和缺點
- 24. Scala + IDEA：sbt和fsc的優點和缺點
- 25. DFC和DFS的優點和缺點？
- 26. 優點和缺點mapquest android
- 27. gwt + grail ..優點和缺點
- 28. AUTONOMOUS_TRANSACTION：優點和缺點
- 29. Memcached - 優點和缺點
- 30. Oracle Traces優點和缺點
爲什麼你需要知道什麼？ – Marcin
@Marcin：這是一個家庭作業項目，我需要用坐式解算器解決sudokus。我的工作是編寫問題並將其提供給求解器，但我想使用快速輕鬆的問題，因爲我的機器功能不是很強大，我需要進行測試和基準類比較。 – Throoze