common.py\puzzle_beth_1\clp_fd\problems\prolog - codeq-problems.git - CodeQ problem definitions

summary refs log tree commit diff

path: root/prolog/problems/clp_fd/puzzle_beth_1/common.py

blob: a7bcfeb70473653228f1e0b0176067a27c11aea1 (plain)

id = 155
group = 'clp_fd'
number = 56
visible = True
facts = None

solution = '''\
puzzle_beth(X) :-
  X + 2 #= 2*(X-5).'''