of
fun <X : Any> of(lazy: Boolean, timeout: TimeDuration = MAX_TIMEOUT, limit: Int = ALL_SOLUTIONS, customOption: Pair<String, X>, vararg customOptions: Pair<String, X>): SolveOptions
Creates SolveOptions with the given lazy/timeout/limit, and one or more customOptions.
fun of(lazy: Boolean, timeout: TimeDuration = MAX_TIMEOUT, limit: Int = ALL_SOLUTIONS): SolveOptions
Creates SolveOptions with the given lazy/timeout/limit, and no custom options.