blob: ee5da6f359cb2265a7a5103c29251516aaf27a26 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
id = 153
group = 'clp_fd'
number = 57
visible = True
facts = None
solution = '''\
puzzle_abc(A, B, C) :-
A #= B + 2,
B #= 2 * C,
A+B+C #= 27,
[A,B,C] ins 0..inf,
labeling([], [A,B,C]).
'''
|