blob: 1563e1fce704a3896361a11c45da6c8b8b6baf50 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
# coding=utf-8
id = 153
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]).
'''
|