blob: 8ab99ef49c0114fd3d937d5f0804fa94703dd5a7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
id = 149
group = 'clp_fd'
number = 61
visible = True
facts = None
solution = '''\
cd(X, Y, CD):-
X #= _ * CD,
Y #= _ * CD,
indomain(CD).
gcd(X, Y, GCD):-
cd(X, Y, GCD),
\+ ( cd(X, Y, CD), CD > GCD ).
'''
|