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

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