implement IlpSolver interfaces