createSolver

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