tephra
searching PlanetScale…
- 1.▲
- 2.▲
- 3.▲
- 4.▲
- 5.▲
- 6.▲
17 ms·
- 151.▲
- 152.▲
- 153.▲
- 154.▲
- 155.▲
- 156.▲
- 157.▲
- 158.▲
- 159.▲
- 160.▲
- 161.▲
- 162.▲
- 163.▲
- 164.▲
- 165.▲
- 166.▲
- 167.▲
- 168.▲
- 169.▲
- 170.▲
- 171.▲
- 172.▲
- 173.▲
- 174.▲
- 175.▲
- 176.▲
- 177.▲
- 178.▲
- 179.▲
- 180.▲
Using the clpb library [0]: solution([A1,A2,A3,A4,A5,A6]) :-
sat(A1 =:= A2*A3*A4*A5*A6),
sat(A2 =:= ~(A3+A4+A5+A6)),
sat(A3 =:= A1*A2),
sat(A4 =:= A1+A2+A3),
sat(A5 =:= ~(A1+A2+A3+A4)),
sa
More ›