adding solver selection options to agree preferences