run :-
        L = 20,
        length(Ls, L),
        fd_domain(Ls, 1, L),
        fd_all_different(Ls),
        fd_labeling(Ls),
        portray_clause(Ls),
        false.

:- initialization(run).