solve/it.unibo.tuprolog.solve/solve

solve

fun Solver.solve(maxDuration: TimeDuration = TimeDuration.MAX_VALUE, scopedContext: <ERROR CLASS>.() -> <ERROR CLASS>): Sequence<Solution>
Content copied to clipboard