hello_isl_basic_set/
hello_isl_basic_set.rs

1use isl_rs as isl;
2
3fn main() {
4    let ctx = isl::Context::alloc();
5    let bset = isl::BasicSet::read_from_str(&ctx, "{[i, j]: 0<=i<1024 and 0<=j<512}").unwrap();
6    bset.dump().unwrap();
7    println!("Printed str is {}.", bset.to_str().unwrap());
8}