graph G {
    compound="true"
    rankdir="TB"
    bgcolor="white"
    fontname="Tahoma"

    node [
        fixedsize="false"
        fontname="Tahoma"
        color="white"
        fillcolor="deepskyblue2"
        fontcolor="black"
        shape="box"
        style="filled"
        penwidth="1.0"
    ]
    edge [
        fontname="Arial"
        color="#00688b"
        fontcolor="black"
        fontsize="12"
        arrowsize="0.5"
        penwidth="1.0"
    ]




    "[prover/src/trace/tests.rs]" -- "[prover/src/lib.rs]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[prover/src/trace/tests.rs]" -- "[prover/src/constraints/commitment.rs]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[prover/src/lib.rs]" -- "[prover/src/constraints/commitment.rs]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[prover/src/constraints/mod.rs]" -- "[prover/src/constraints/commitment.rs]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[prover/src/trace/tests.rs]" -- "[prover/src/constraints/mod.rs]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[prover/src/trace/tests.rs]" -- "[prover/src/trace/mod.rs]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[prover/src/trace/mod.rs]" -- "[prover/src/lib.rs]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[prover/src/trace/mod.rs]" -- "[prover/src/constraints/commitment.rs]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[prover/src/lib.rs]" -- "[prover/src/composer/mod.rs]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[prover/src/trace/mod.rs]" -- "[prover/src/constraints/mod.rs]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[prover/src/lib.rs]" -- "[prover/src/constraints/mod.rs]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[prover/src/constraints/evaluation_table.rs]" -- "[prover/src/constraints/composition_poly.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/constraints/evaluation_table.rs]" -- "[prover/src/constraints/commitment.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/commitment.rs]" -- "[prover/src/lib.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/mod.rs]" -- "[prover/src/composer/mod.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/poly_table.rs]" -- "[prover/src/composer/mod.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/constraints/mod.rs]" -- "[prover/src/constraints/composition_poly.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/constraints/composition_poly.rs]" -- "[prover/src/constraints/commitment.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/tests.rs]" -- "[prover/src/matrix.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/lib.rs]" -- "[prover/src/constraints/composition_poly.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/constraints/mod.rs]" -- "[prover/src/composer/mod.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/matrix.rs]" -- "[prover/src/constraints/commitment.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/constraints/evaluation_table.rs]" -- "[prover/src/composer/mod.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/matrix.rs]" -- "[prover/src/constraints/evaluation_table.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/mod.rs]" -- "[prover/src/matrix.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/matrix.rs]" -- "[prover/src/lib.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/trace_table.rs]" -- "[prover/src/constraints/evaluation_table.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/trace_table.rs]" -- "[prover/src/constraints/composition_poly.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/poly_table.rs]" -- "[prover/src/lib.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/mod.rs]" -- "[prover/src/trace/commitment.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/trace_table.rs]" -- "[prover/src/lib.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/commitment.rs]" -- "[prover/src/constraints/commitment.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/lib.rs]" -- "[prover/src/constraints/evaluation_table.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/tests.rs]" -- "[prover/src/constraints/evaluation_table.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/mod.rs]" -- "[prover/src/constraints/composition_poly.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/poly_table.rs]" -- "[prover/src/matrix.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/poly_table.rs]" -- "[prover/src/constraints/commitment.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/commitment.rs]" -- "[prover/src/constraints/mod.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/tests.rs]" -- "[prover/src/constraints/composition_poly.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/tests.rs]" -- "[prover/src/trace/poly_table.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/matrix.rs]" -- "[prover/src/composer/mod.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/trace_table.rs]" -- "[prover/src/matrix.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/mod.rs]" -- "[prover/src/constraints/evaluator.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/poly_table.rs]" -- "[prover/src/constraints/evaluation_table.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/trace_table.rs]" -- "[prover/src/composer/mod.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/trace_table.rs]" -- "[prover/src/trace/tests.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/trace_table.rs]" -- "[prover/src/constraints/commitment.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/constraints/composition_poly.rs]" -- "[prover/src/composer/mod.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/tests.rs]" -- "[prover/src/composer/mod.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[prover/src/trace/trace_table.rs]" -- "[prover/src/trace/poly_table.rs]" [label=" 2 ", penwidth="2", color="#00688b70"];

}