From a graph to a verified solution