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