prolog/problems/clp_fd/puzzle_ratio_2/common.py


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

id = 154
group = 'clp_fd'
number = 59
visible = True
facts = None

solution = '''\
puzzle_ratio(A, B) :-
  A #= 5*X,
  B #= 4*X,
  X #> 0,
  A+3 #= 11*Y,
  B+3 #= 9*Y,
  Y #> 0,
  A #< 200,
  B #< 200,
  labeling([], [A, B]).'''