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