documentation
Toggle table of contents
1.5.1-dev02-c0569c38e
common
Target filter
common
Switch theme
Search in API
Skip to content
documentation
solve
/
it.unibo.tuprolog.solve
/
Solver
/
Companion
/
concurrent
concurrent
@
JvmStatic
@get:
JvmName
(
name
=
"concurrent"
)
val
concurrent
:
SolverFactory
The
SolverFactory
for the solver that parallelizes resolution (
:solve-concurrent
).