isl-rs 0.3.1

Rust bindings for Integer Set Library
Documentation 
1

S1(1, floord(M + 1, 2));