dsl-solve/it.unibo.tuprolog.dsl.solve/LogicProgrammingScopeWithResolutionImpl/defaultSolver

defaultSolver

open override val defaultSolver: MutableSolver