dsl-solve
0.31.1
dsl-solve
/
it.unibo.tuprolog.dsl.solve
/
LogicProgrammingScopeWithResolutionImpl
/
defaultSolver
default
Solver
open
override
val
defaultSolver
:
MutableSolver