solverWithDefaultBuiltins
open fun solverWithDefaultBuiltins(unificator: Unificator = defaultUnificator, otherLibraries: Runtime = defaultRuntime, flags: FlagStore = defaultFlags, staticKb: Theory = defaultStaticKb, dynamicKb: Theory = defaultDynamicKb, stdIn: InputChannel<String> = defaultInputChannel, stdOut: OutputChannel<String> = defaultOutputChannel, stdErr: OutputChannel<String> = defaultErrorChannel, warnings: OutputChannel<Warning> = defaultWarningsChannel): Solver
Same as solverOf, but adds defaultBuiltins on top of otherLibraries.