%
% Integer partitions in Minizinc
% 
% This model just generates one (or all, depending on the solver) the solutions, 
% i.e. there are no extra constraints.
%
% Model created by Hakan Kjellerstrand, hakank@bonetmail.com
% See also my MiniZinc page: http://www.hakank.org/minizinc
%

include "globals.mzn";

int: n = 11;

array[1..n] of var 0..n: x;

solve satisfy;

constraint
   n = sum(i in 1..n) (x[i])
   /\ % symmetry breaking
   increasing(x) 
;