documentation
Toggle table of contents
1.5.1-dev02-c0569c38e
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
documentation
examples
/
it.unibo.tuprolog.examples.concurrent
/
ConcurrentSolverPerformance
/
theoryNQueens
theory
NQueens
val
theoryNQueens
:
Theory
The N-Queens theory, parsed from the
nQueens.pl
classpath resource.