summaryrefslogtreecommitdiff
path: root/prolog/problems/clp_fd/puzzle_momson_2/common.py
blob: 94e5aa2795d1a030d756269dcc41a35229c458b0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
# coding=utf-8

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