rab_solver is working and refctored. Still a lot to do.