SolverProfile
constructor(id: SolverProfileId, displayName: String, capabilities: SolverCapabilities, factory: SolverSessionFactory, defaultOptions: Map<String, String> = emptyMap(), defaultOperators: List<OperatorPresentation> = emptyList())