Make lp abstract solver