synhedionn
Programmer
Hi,
In swiprolog, when
[library(clpfd)].
X in 0..10 , Y in 0..10 , X mod Y #= 0 , X / Y #=2 .
It gives
X in 2..10,
X/Y#=2,
X mod Y#=0,
Y in 1..10.
But it's not very useful if I don't have couples of solutions, i.e. for X=2 -> Y=1 etc...
So how can I have the different couples?
In swiprolog, when
[library(clpfd)].
X in 0..10 , Y in 0..10 , X mod Y #= 0 , X / Y #=2 .
It gives
X in 2..10,
X/Y#=2,
X mod Y#=0,
Y in 1..10.
But it's not very useful if I don't have couples of solutions, i.e. for X=2 -> Y=1 etc...
So how can I have the different couples?