new solver with lp abstract