Solver skeleton