summaryrefslogtreecommitdiff
path: root/prolog/problems/clp_fd/puzzle_abc_3/common.py
blob: 42463a6ae0a266e62947ddf8f32b227de40c3008 (plain)
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]).
'''