this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 status: SATISFIED
6 solution: !Solution
7 X: 6
8- !Result
9 status: SATISFIED
10 solution: !Solution
11 X: 7
12- !Result
13 status: SATISFIED
14 solution: !Solution
15 X: 8
16- !Result
17 status: SATISFIED
18 solution: !Solution
19 X: 9
20***/
21
22var 0..9: X;
23constraint X > 5;
24solve satisfy;