1
任何人都對Java中的BDD（二進制決策圖）實現有什麼建議（或者提供Java綁定的實現）？我在網上發現了這個頁面：http://www.mancoosi.org/~abate/avalaible-bdd-libraries但不確定它是否過時。或者只使用Prolog實現有意義嗎？Java中的BDD實現
A
回答
1
英文維基百科頁面以幾乎所有着名的編程語言提供了許多可能的BDD軟件包。 http://en.wikipedia.org/wiki/Binary_decision_diagram
我沒有嘗試過，但JavaBDD可以與CUDD接口，這是迄今爲止最好的BDD包之一。 http://javabdd.sourceforge.net/
相關問題
- 1. Java中的Java實現
- 2. 實現在Java中
- 3. java中的隊列實現
- 4. curl Java中的HTTPS實現
- 5. java中的SMTP實現
- 6. java中的RNTN實現
- 7. Java中的KDTree實現
- 8. java中的圖實現
- 9. Java 7中的Files.size（）實現
- 10. Java中的RSA實現
- 11. 在Java中的ActionListener實現
- 12. java中的pagerank實現
- 13. java中的DOM實現
- 14. Java中的NTLM SSO實現
- 15. RFC2898DeriveBytes在Java中的實現
- 16. Java中eval（）的實現
- 17. 在Java中的diff實現
- 18. ZipCrypto的實現在java中
- 19. Java中Kraken API的實現
- 20. Java中接口的實現
- 21. Kademlia在Java中的實現
- 22. Java中樹的現有實現？
- 23. Java的MPI實現
- 24. SCIM的Java實現
- 25. Java GPU的實現
- 26. Java實現
- 27. CircularArrayQueue實現Java
- 28. Java實現
- 29. 實現SerialPortEventListener - java
- 30. JSONRPC Java實現