solve-classic
/
it.unibo.tuprolog.solve.classic
/
ChoicePointContext
/
depth
depth
open val
depth
:
Int
= 0
Content copied to clipboard