graph-solvers