solve
0.20.9
common
solve
/
it.unibo.tuprolog.solve.directives
/
plus
plus
common
operator
fun
ClausePartition
?
.
plus
(
other
:
ClausePartition
?
)
:
ClausePartition
Content copied to clipboard