dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / compilation / aggregation.fzn
at develop 280 B view raw
1array [1..2] of int: X_INTRODUCED_3_ = [1,1]; 2var 1..4: X_INTRODUCED_0_; 3var 1..4: X_INTRODUCED_1_; 4array [1..2] of var int: xs:: output_array([1..2]) = [X_INTRODUCED_0_,X_INTRODUCED_1_]; 5constraint int_lin_le(X_INTRODUCED_3_,[X_INTRODUCED_0_,X_INTRODUCED_1_],5); 6solve satisfy;