1dgp solver