prolog/problems/clp_fd/puzzle_abc_3/common.py


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

# coding=utf-8

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]).
'''