this repo has no description
dekker.one
1/***
2!Test
3solvers: [gecode, chuffed]
4expected: !Result
5 solution: !SolutionSet
6 - !Solution
7 a: 1
8 - !Solution
9 a: 2
10 - !Solution
11 a: 3
12options:
13 all_solutions: true
14***/
15
16var 1..3: a;
17
18predicate test_pred(1.0..10.0: x, var int: y) = y = 3;
19
20constraint test_pred(11.0, a) == false;
21
22solve satisfy;
23
24output ["a = ", show(a), ";\n"];