summaryrefslogtreecommitdiff
path: root/prolog/problems/clp_fd/puzzle_momson_2/common.py
blob: f96f403a21015377983c466f4cb88b18edda37b9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
id = 152
group = 'clp_fd'
number = 58
visible = True
facts = None

solution = '''\
puzzle_momson(M, S) :-
  M #= 10*A + B,
  S #= 10*B + A,
  [A,B] ins 1..9,
  M + S #= 66,
  M #> S,
  labeling([], [M, S]).'''