path: root/omega/examples/old_test/farkas

symbolic n;
symbolic c;

R := {[i,j] : 1 <= i <= 10 && 1 <= j <= n};

ac := farkas R;
ac;