readme.md

Build

1. Install GMP(The GNU MP Bignum Library), e.g., sudo apt install libgmp-dev
2. Build ISL:

cd isl-rs
./build_isl.sh

3. cargo build