Solver APIΒΆ