2
Existe-t-il des bibliothèques BDD (Binary Decision Diagram) pour C ou d'autres langages testés et disposant d'une bonne documentation?Existe-t-il des outils matures de diagramme de décision binaire disponibles?
A
Répondre
4
Cochez la case BDD library from CMU.
En outre, à titre de référence de base, le pré-fascicule 1b de The Art of Computer Programming est entièrement consacré aux BDD. Voici un gzipped postscript de celui-ci. Knuth a posté un certain nombre de programmes qu'il a écrit en le préparant au his Programs to Read page.
1
Diagramme de décision binaire Wikipédia, dans la section External links, sous la forme d'une liste de paquets assez complète.
1
0
BDDBDDB est un système basé sur BDD pour résoudre des inférences logiques à la Prolog. Il a été utilisé dans l'analyse de programme, le jeu en général, et dans de nombreux autres domaines. Ce n'est peut-être pas exactement ce que vous cherchez, mais c'est bien connu et bien entretenu.
Cela fonctionne-t-il sur Java 1.6? – Jus12