this repo has no description
dekker.one
1% This file contains redefinitions of standard builtins for version 2.0.2
2% that can be overridden by solvers.
3
4
5predicate symmetry_breaking_constraint(var bool: b) = b;
6
7predicate redundant_constraint(var bool: b) = b;
8
9
10%% Linearized element: just call without shifting
11predicate array_var_bool_element_nonshifted(var int: idx, array[int] of var bool: x, var bool: c) =
12 array_var_bool_element(idx,x,c);
13
14predicate array_var_int_element_nonshifted(var int: idx, array[int] of var int: x, var int: c) =
15 array_var_int_element(idx,x,c);
16
17predicate array_var_float_element_nonshifted(var int: idx, array[int] of var float: x, var float: c) =
18 array_var_float_element(idx,x,c);
19
20predicate array_var_set_element_nonshifted(var int: idx, array[int] of var set of int: x, var set of int: c) =
21 array_var_set_element(idx,x,c);