/* 

  List partitions in Picat.

  THIS DON'T WORK!

  This Picat model was created by Hakan Kjellerstrand, hakank@gmail.com
  See also my Picat page: http://www.hakank.org/picat/

*/


% import util.
% import cp.


main => go.


go =>
  L = 1..10,
  list_n_parts(L,3,Result),
  writeln(Result),
  
  nl.



list_n_parts(List, Parts, Result) =>
    Result = new_list(Parts),
    append(Result,List).