source: proiecte/pmake3d/make3d_original/Make3dSingleImageStanford_version0.1/third_party/opt/yalmip/dev/tests-mbg/operators/test_alldifferent.m @ 37

function test_alldifferent
n = 4;
x = sdpvar(n,1);
sol = solvesdp(set(1<x<n) + set(alldifferent(x)),sum(x))

mbg_asserttrue(sol.problem == 0)
mbg_asserttolequal(sort(double(x)),(1:n)', 1e-4);