createMutableSolver

open fun createMutableSolver(    libraries: <ERROR CLASS>,     flags: <ERROR CLASS>,     staticKb: <ERROR CLASS>,     dynamicKb: <ERROR CLASS>,     inputChannels: <ERROR CLASS>,     outputChannels: <ERROR CLASS>): <ERROR CLASS>