this repo has no description
dekker.one
1predicate int_le_imp(var int: a,var int: b,var bool: r);
2var 1..10: x:: output_var;
3var set of 1..10: y:: output_var;
4var bool: X_INTRODUCED_2_ ::var_is_introduced :: is_defined_var;
5var bool: X_INTRODUCED_3_ ::var_is_introduced :: is_defined_var;
6var bool: X_INTRODUCED_6_ ::var_is_introduced :: is_defined_var;
7var bool: X_INTRODUCED_7_ ::var_is_introduced :: is_defined_var;
8var bool: X_INTRODUCED_10_ ::var_is_introduced :: is_defined_var;
9var bool: X_INTRODUCED_11_ ::var_is_introduced :: is_defined_var;
10var bool: X_INTRODUCED_14_ ::var_is_introduced :: is_defined_var;
11var bool: X_INTRODUCED_15_ ::var_is_introduced :: is_defined_var;
12var bool: X_INTRODUCED_18_ ::var_is_introduced :: is_defined_var;
13var bool: X_INTRODUCED_19_ ::var_is_introduced :: is_defined_var;
14var bool: X_INTRODUCED_20_ ::var_is_introduced :: is_defined_var;
15var bool: X_INTRODUCED_21_ ::var_is_introduced :: is_defined_var;
16var bool: z = true;
17constraint array_bool_and([true,X_INTRODUCED_3_,true,X_INTRODUCED_7_,true,X_INTRODUCED_11_,true,X_INTRODUCED_15_,true,X_INTRODUCED_19_],true);
18constraint set_in_reif(x,y,X_INTRODUCED_20_):: defines_var(X_INTRODUCED_20_);
19constraint bool_clause([X_INTRODUCED_21_],[z]);
20constraint bool_not(X_INTRODUCED_2_,X_INTRODUCED_3_):: defines_var(X_INTRODUCED_3_);
21constraint bool_not(X_INTRODUCED_6_,X_INTRODUCED_7_):: defines_var(X_INTRODUCED_7_);
22constraint bool_not(X_INTRODUCED_10_,X_INTRODUCED_11_):: defines_var(X_INTRODUCED_11_);
23constraint bool_not(X_INTRODUCED_14_,X_INTRODUCED_15_):: defines_var(X_INTRODUCED_15_);
24constraint bool_not(X_INTRODUCED_18_,X_INTRODUCED_19_):: defines_var(X_INTRODUCED_19_);
25constraint set_in_reif(2,y,X_INTRODUCED_2_):: defines_var(X_INTRODUCED_2_);
26constraint set_in_reif(4,y,X_INTRODUCED_6_):: defines_var(X_INTRODUCED_6_);
27constraint set_in_reif(6,y,X_INTRODUCED_10_):: defines_var(X_INTRODUCED_10_);
28constraint set_in_reif(8,y,X_INTRODUCED_14_):: defines_var(X_INTRODUCED_14_);
29constraint set_in_reif(10,y,X_INTRODUCED_18_):: defines_var(X_INTRODUCED_18_);
30constraint int_le_reif(5,x,X_INTRODUCED_20_);
31constraint int_le_imp(x,2,X_INTRODUCED_21_):: defines_var(X_INTRODUCED_21_);
32solve satisfy;