search

xavitator / ROBDD-project

Implémentation d'un algorithme permettant de construire le ROBDD –canoniquement- associé à une expression booléenne donnée.
1 stars 0 forks source link

Représentation graphique ROBDD #5

Closed xavitator closed 5 years ago

xavitator commented 5 years ago

On représente le graphe obtenu par build sous forme vectoriel, pour qu'on puisse avoir une représentation graphique du résultat obtenu.

xavitator commented 5 years ago

http://ocamlgraph.lri.fr/doc/Graphviz.html

xavitator commented 5 years ago

Fini ! enfin !!