this repo has no description
dekker.one
1/***
2!Test
3solvers: [gecode]
4expected: !Result
5 solution: !Solution
6 b: true
7***/
8ann: ann_test;
9predicate add_ann(var int: x) = annotate(x, ann_test);
10predicate get_ann(var int: x, var bool: b) = b <-> has_ann(x, ann_test);
11
12var 1..2: x;
13var bool: b;
14constraint add_ann(x);
15constraint get_ann(x, b);
16