createMutableSolver
abstract fun createMutableSolver(unificator: Unificator = this.unificator, libraries: Runtime = this.libraries, flags: FlagStore = this.flags, staticKb: Theory = this.staticKb, dynamicKb: Theory = this.dynamicKb, inputChannels: InputStore = this.inputChannels, outputChannels: OutputStore = this.outputChannels): MutableSolver
Same as createSolver, but returns a MutableSolver.