SolveOptions

constructor(command: String, failWhen: FailWhen, budget: Budget, name: String? = null, trialMinutes: Long = 1, pilot: Int = 8, maxRounds: Int = 12, digests: Map<String, String> = emptyMap(), passing: String = "passing.json", failing: String = "failing.json")(source)