solve/it.unibo.tuprolog.solve.primitive/Solve/Request/executionMaxDuration

executionMaxDuration

val executionMaxDuration: TimeDuration
Content copied to clipboard

The execution max duration after which the computation should end, because no more useful