Solver API#