Dep_graph.Graphviz
Visualization of solutions using Graphviz
val save : string -> Solver.Solved.t list -> unit