createSolver
open override fun createSolver(unificator: Unificator, libraries: Runtime, flags: FlagStore, staticKb: Theory, dynamicKb: Theory, inputChannels: InputStore, outputChannels: OutputStore): ConcurrentSolver
Creates a new ConcurrentSolver, sharing this context's state unless overridden.