Metrics Management Graph

TODO: installare

networkx pysat