this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 _output_item: "561@\n 561@\n561 @\n1234567@\n"
7***/
8
9var int: x;
10constraint x > 560;
11constraint x < 562;
12
13solve satisfy;
14output [
15 show_int(0, x), "@\n",
16 show_int(4, x), "@\n",
17 show_int(-4, x), "@\n",
18 show_int(4, 1234567), "@\n"
19];