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 set = isl::Set::read_from_str(&ctx, "{[i, j]: 0<=i<1024 and 0<=j<512}").unwrap();
    set.dump().unwrap();
    println!("set.get_hash() is {}.", set.get_hash().unwrap());
}