/* libs clusters */
subgraph cluster_presentation {
label = "Terms at the content and presentation level";
- rank = min;
labelloc = "b";
labeljust = "r";
style = "filled";
}
subgraph cluster_utilities {
label = "Utilities";
- rank = max;
labelloc = "b";
labeljust = "r";
style = "filled";
/* apps */
subgraph applications {
node [shape=plaintext,style=filled,fillcolor=slategray2];
- DrawGraph;
+ DependencyAnalyzer;
Getter;
Matita;
ProofChecker;
Whelp;
}
/* apps dep */
- DrawGraph -> getter;
+ DependencyAnalyzer -> metadata;
Getter -> getter;
Matita -> cic_disambiguation;
- Matita -> tactics;
+ Matita -> grafite;
+// Matita -> hgdome;
+ Matita -> paramodulation;
ProofChecker -> cic_proof_checking;
- Uwobo -> acic_content;
Uwobo -> content_pres;
Whelp -> cic_disambiguation;
- Whelp -> whelp;
+ Whelp -> content_pres;
}