Add util dag solver.