the new DLSolver