add isl_qpolynomial_fold_scale_val
[platform/upstream/isl.git] / test_inputs / set.omega
1 {[y]: Exists ( alpha : 2alpha = y)}