Solver Configuration and Building