isl_tab_pip.c: move current best solution into isl_lexmin_data
[isl.git] / test_inputs / set.omega
blobac8485fb9a4eee36e59e59c2c8611b55dbea956b
1 {[y]: Exists ( alpha : 2alpha = y)}