dsl-solve
0.31.1
dsl-solve
/
it.unibo.tuprolog.dsl.solve
/
LogicProgrammingScopeWithResolution
/
defaultSolver
default
Solver
abstract
val
defaultSolver
:
MutableSolver