isl-rs 0.3.1

Rust bindings for Integer Set Library
Documentation 
1
2
3
4
5
6
7
8

use isl_rs as isl;

fn main() {
    let ctx = isl::Context::alloc();
    let bset = isl::BasicSet::read_from_str(&ctx, "{[i, j]: 0<=i<1024 and 0<=j<512}").unwrap();
    bset.dump().unwrap();
    println!("Printed str is {}.", bset.to_str().unwrap());
}