/plant

PoLyhedral bAsed teNsor opTimizer

Primary LanguageC

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
  1. cargo build