Existe-t-il des outils matures de diagramme de décision binaire disponibles?

Question

Existe-t-il des bibliothèques BDD (Binary Decision Diagram) pour C ou d'autres langages testés et disposant d'une bonne documentation?

Answer 1

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.

Answer 2

Diagramme de décision binaire Wikipédia, dans la section External links, sous la forme d'une liste de paquets assez complète.

Answer 3

Découvrez CUDD.

Pour quelques informations sur la façon de le configurer dans les environnements Windows essayer this..

Answer 4

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.