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) =
6 (b) %:: MIP_lazy %:: MIP_cut %% MIP_cut wrong in CPLEX 12.6.3
7 %% Symm breaking as lazy is 1% better in Gurobi 6.5.2 on the Challenges 2012-2015
8 %% But caused a bug in 7.5.1 - switched off
9 %% true %% TO omit all symmetry_breaking_constraint's
10 ;
11
12%% Make sure no feasible solutions are cut off:
13predicate redundant_constraint(var bool: b) =
14 (b) %:: MIP_cut
15 % true %% To omit all redundant_constraint's
16 ;
17
18%% Linearized element: just call without shifting
19predicate array_var_bool_element_nonshifted(var int: idx, array[int] of var bool: x, var bool: c) =
20 array_var_bool_element(idx,x,c);
21
22predicate array_var_int_element_nonshifted(var int: idx, array[int] of var int: x, var int: c) =
23 array_var_int_element(idx,x,c);
24
25predicate array_var_float_element_nonshifted(var int: idx, array[int] of var float: x, var float: c) =
26 array_var_float_element(idx,x,c);
27
28predicate array_var_set_element_nonshifted(var int: idx, array[int] of var set of int: x, var set of int: c) =
29 array_var_set_element(idx,x,c);