Skip to content

MashPlant/plant

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

52 Commits

bench

bench

 
 

isl-rs

isl-rs

 
 

macros

macros

 
 

python

python

 
 

remote

remote

 
 

runtime

runtime

 
 

src

src

 
 

tests

tests

 
 

.gitignore

.gitignore

 
 

Cargo.toml

Cargo.toml

 
 

readme.md

readme.md

 
 

Repository files navigation

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

About

PoLyhedral bAsed teNsor opTimizer

Resources

Readme
Activity

Stars

9 stars

Watchers

2 watching

Forks

1 fork
Report repository

Releases

No releases published

Packages

No packages published

Languages