mutableSolverOf

open fun mutableSolverOf(    libraries: <ERROR CLASS>,     flags: <ERROR CLASS>,     staticKb: <ERROR CLASS>,     dynamicKb: <ERROR CLASS>,     stdIn: <ERROR CLASS><String>,     stdOut: <ERROR CLASS><String>,     stdErr: <ERROR CLASS><String>,     warnings: <ERROR CLASS><<ERROR CLASS>>): <ERROR CLASS>