All Solver Engineering