Solver frontend