runtime

abstract fun runtime(runtime: Runtime): SolverBuilder

Fluent setter for runtime.


abstract var runtime: Runtime

The Runtime of libraries the built solver will load (in addition to builtins, if any).