dsl-solve
0.31.1
dsl-solve
/
it.unibo.tuprolog.dsl.solve
/
LogicProgrammingScopeWithResolution
/
solverFactory
solver
Factory
abstract
val
solverFactory
:
SolverFactory