classic

fun <ERROR CLASS>.classic(    libraries: <ERROR CLASS> = ClassicSolverFactory.defaultLibraries,     flags: <ERROR CLASS> = ClassicSolverFactory.defaultFlags,     staticKb: <ERROR CLASS> = ClassicSolverFactory.defaultDynamicKb,     dynamicKb: <ERROR CLASS> = ClassicSolverFactory.defaultDynamicKb,     stdIn: <ERROR CLASS><String> = ClassicSolverFactory.defaultInputChannel,     stdOut: <ERROR CLASS><String> = ClassicSolverFactory.defaultOutputChannel,     stdErr: <ERROR CLASS><String> = ClassicSolverFactory.defaultErrorChannel,     warnings: <ERROR CLASS><<ERROR CLASS>> = ClassicSolverFactory.defaultWarningsChannel): <ERROR CLASS>
fun <ERROR CLASS>.classic(    libraries: <ERROR CLASS> = ClassicSolverFactory.defaultLibraries,     flags: <ERROR CLASS> = ClassicSolverFactory.defaultFlags,     staticKb: <ERROR CLASS> = ClassicSolverFactory.defaultStaticKb,     dynamicKb: <ERROR CLASS> = ClassicSolverFactory.defaultDynamicKb,     stdIn: <ERROR CLASS><String> = ClassicSolverFactory.defaultInputChannel,     stdOut: <ERROR CLASS><String> = ClassicSolverFactory.defaultOutputChannel,     stdErr: <ERROR CLASS><String> = ClassicSolverFactory.defaultErrorChannel,     warnings: <ERROR CLASS><<ERROR CLASS>> = ClassicSolverFactory.defaultWarningsChannel): <ERROR CLASS>