solve
0.20.9
common
solve
/
it.unibo.tuprolog.solve.directives
/
partition
partition
common
@
JvmOverloads
fun
<
C
>
Iterable
<
C
>
.
partition
(
staticByDefault
:
Boolean
=
true
)
:
ClausePartition
Content copied to clipboard