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

solverFactory

open override val solverFactory: SolverFactory