rab_solver is under development ...