1
누구나 Java (또는 Java 바인딩을 제공하는)에서 BDD (이진 의사 결정 다이어그램) 구현에 대한 제안 사항이 있습니까? 나는이 페이지를 온라인으로 찾았다 : http://www.mancoosi.org/~abate/avalaible-bdd-libraries. 또는 Prolog 구현을 사용하는 것이 합리적입니까?Java에서 BDD 구현
A
답변
1
영어 위키 피 디아 페이지는 거의 모든 유명한 프로그래밍 언어로 가능 BDD 패키지를 제공합니다. http://en.wikipedia.org/wiki/Binary_decision_diagram
나는 그것을 시도하지 않았지만 JavaBDD는 지금까지 최고의 BDD 패키지 중 하나 인 CUDD와 인터페이스 할 수 있습니다. http://javabdd.sourceforge.net/
관련 문제
- 1. Java에서 OAuth 구현
- 2. Java에서 좋은 ACL 구현
- 3. java에서 "supplant"구현 방법
- 4. Java에서 SIFT 구현
- 5. Java에서 다중 스레드 구현
- 6. Java에서 지터 버퍼 구현
- 7. Java에서 감마 불완전 구현
- 8. Java에서 OAuth 프로토콜 구현
- 9. Java에서 3270 프로토콜 구현
- 10. Java에서 OAuth 공급자 구현
- 11. Java에서 컬 HTTPS 구현
- 12. Java에서 동적 플러그인 구현
- 13. Java에서 가상 목록 구현
- 14. Java에서 diff 구현
- 15. Java에서 IM 플랫폼 구현
- 16. Java에서 시프트 연산 구현
- 17. Java에서 클래스 구현
- 18. Java에서 SimHash를 구현 하시겠습니까?
- 19. Java에서 typedef 구현
- 20. Java에서 Matlab의 rgb2gray 구현
- 21. Java에서 SQL CHECKSUM 구현
- 22. Java에서 RFC2898DeriveBytes 구현
- 23. Java에서 3DES를 사용하여 암호화 구현
- 24. Java에서 이벤트 생성기 이디엄 구현
- 25. Java에서 강제 지시 레이아웃 구현
- 26. Java에서 비동기 메시지 큐 구현
- 27. Java에서 미니 요약 도구 구현
- 28. Java에서 교차 유효성 검사 구현
- 29. Java에서 X 모뎀 프로토콜 구현
- 30. Java에서 전자 메일 서버 구현