this repo has no description
dekker.one
1include "radiation.mzn";
2include "lex_less.mzn";
3
4%-----------------------------------------------------------------------------%
5% Objective
6%-----------------------------------------------------------------------------%
7
8predicate lex_minimize(array[int] of var int: o, int: stage) =
9 forall(i in min(index_set(o))..stage-1) (
10 o[i] = sol(o[i])
11 )
12 /\ o[stage] < sol(o[stage]);
13
14constraint output_this([Beamtime, K]);
15predicate lex_obj(int: stage) ::export = lex_minimize([Beamtime, K], stage);
16
17solve :: int_search([Beamtime] ++ N ++ [Q[i,j,b] | i in Rows, j in Columns, b in BTimes ], input_order, indomain_min, complete) satisfy;