+digraph G {
+// clusterrank = none;
+ fillcolor = "gray93";
+ fontsize = 24;
+ node [fontsize = 24];
+ /* libs clusters */
+ subgraph cluster_presentation {
+ label = "Terms at the content and presentation level\n12.1 klocs";
+ labelloc = "b";
+ labeljust = "r";
+ style = "filled";
+ color = "white"
+ acic_content;
+ cic_disambiguation;
+ content_pres;
+ grafite_parser;
+ lexicon;
+ }
+ subgraph cluster_partially {
+ label = "Partially specified terms\n15.1 klocs";
+ labelloc = "t";
+ labeljust = "l";
+ style = "filled";
+ color = "white"
+ cic_unification;
+ tactics;
+ grafite;
+ grafite_engine;
+ }
+ subgraph cluster_fully {
+ label = "Fully specified terms\n18.9 klocs";
+ labelloc = "b";
+ labeljust = "l";
+ style = "filled";
+ color = "white"
+ cic;
+ cic_proof_checking;
+ getter;
+ metadata;
+ urimanager;
+ whelp;
+ library;
+ cic_acic;
+ }
+ subgraph cluster_utilities {
+ label = "Utilities\n2.8 klocs";
+ labelloc = "b";
+ labeljust = "r";
+ style = "filled";
+ color = "white"
+ extlib;
+ hgdome;
+ hmysql;
+ registry;
+ utf8_macros;
+ xml;
+ logger;
+ }
+ /* apps */
+ subgraph applications {
+ node [shape=plaintext,style=filled,fillcolor=slategray2];
+ DependencyAnalyzer [label="Dependency\nAnalyzer\n 0.3 klocs"];
+ Getter [label="Getter\n 0.3 klocs"];
+ Matita [label="Matita\n 6.7 klocs"];
+ ProofChecker [label="Proof Checker\n 0.1 klocs"];
+ Uwobo [label="Uwobo\n 2.1 klocs"];
+ Whelp [label="Whelp\n 0.6 klocs"];
+ }
+ /* apps dep */
+ DependencyAnalyzer -> metadata;
+ Getter -> getter;
+ Matita -> grafite_engine;
+ Matita -> grafite_parser;
+ Matita -> hgdome;
+ ProofChecker -> cic_proof_checking;
+ Uwobo -> content_pres;
+ Whelp -> grafite_parser;
+ xml [label="xml\n0.5 klocs"];
+ whelp [label="whelp\n0.3 klocs"];
+ utf8_macros [label="utf8_macros\n0.2 klocs"];
+ urimanager [label="urimanager\n0.2 klocs"];
+ tactics [label="tactics\n10.0 klocs"];
+ registry [label="registry\n0.6 klocs"];
+ metadata [label="metadata\n1.9 klocs"];
+ logger [label="logger\n0.1 klocs"];
+ library [label="library\n2.1 klocs"];
+ lexicon [label="lexicon\n0.8 klocs"];
+ hmysql [label="hmysql\n0.1 klocs"];
+ hgdome [label="hgdome\n0.2 klocs"];
+ grafite_parser [label="grafite_parser\n1.8 klocs"];
+ grafite [label="grafite\n0.5 klocs"];
+ grafite_engine [label="grafite_engine\n1.2 klocs"];
+ getter [label="getter\n2.0 klocs"];
+ extlib [label="extlib\n1.1 klocs"];
+ content_pres [label="content_pres\n4.5 klocs"];
+ cic_unification [label="cic_unification\n3.4 klocs"];
+ cic_proof_checking [label="cic_proof_checking\n5.8 klocs"];
+ cic [label="cic\n4.2 klocs"];
+ cic_disambiguation [label="cic_disambiguation\n1.4 klocs"];
+ cic_acic [label="cic_acic\n2.4 klocs"];
+ acic_content [label="acic_content\n3.6 klocs"];
+ rankdir = TB ;
+"grafite_parser" -> "grafite";
+"grafite_parser" -> "lexicon";
+"grafite_engine" -> "tactics";
+"grafite_engine" -> "grafite";
+"lexicon" -> "cic_disambiguation";
+"lexicon" -> "content_pres";
+"cic_disambiguation" -> "cic_unification";
+"cic_disambiguation" -> "acic_content";
+"cic_disambiguation" -> "whelp";
+"tactics" -> "whelp";
+"tactics" -> "cic_unification";
+"whelp" -> "metadata";
+"cic_unification" -> "library";
+"library" -> "metadata";
+"library" -> "cic_acic";
+"metadata" -> "cic";
+"metadata" -> "hmysql";
+"grafite" -> "cic";
+"content_pres" -> "utf8_macros";
+"content_pres" -> "acic_content";
+"acic_content" -> "cic_acic";
+"cic_acic" -> "cic_proof_checking";
+"cic_proof_checking" -> "getter";
+"cic_proof_checking" -> "cic";
+"cic" -> "xml";
+"cic" -> "urimanager";
+"getter" -> "registry";
+"getter" -> "urimanager";
+"getter" -> "logger";
+"hmysql" -> "registry";
+"registry" -> "xml";
+"hgdome" -> "xml";
+"xml" -> "extlib";
+}