1 | | Sven Verdoolaege's [http://isl.gforge.inria.fr/ `isl`] and [http://barvinok.gforge.inria.fr/ `barvinok`] are excellent packages for lattice points in polytopes etc. |
| 1 | We package Sven Verdoolaege's [http://barvinok.gforge.inria.fr/ `barvinok`] package (for lattice points in polytopes etc). It has dependency [http://isl.gforge.inria.fr/ `isl`] and [http://icps.u-strasbg.fr/polylib/ `polylib.`]. |
| 2 | |
| 3 | Source codes at |
| 4 | |
| 5 | - source http://repo.or.cz/w/barvinok.git |
| 6 | - source http://repo.or.cz/w/isl.git |
| 7 | - source http://repo.or.cz/w/polylib.git |
| 8 | |
| 9 | Tarballs at |
| 10 | |
| 11 | - http://barvinok.gforge.inria.fr/barvinok-0.41.tar.bz2 |
| 12 | - http://isl.gforge.inria.fr/isl-0.20.tar.bz2 |
| 13 | - http://icps.u-strasbg.fr/polylib/polylib_src/polylib-5.22.5.tar.gz |
| 14 | |
| 15 | -------------------- |
| 16 | |
| 17 | [pet](http://repo.or.cz/w/pet.git) is an optional dependency of barvinok and might be treated later on. |
17 | | Resources: |
18 | | - http://polycomp.gforge.inria.fr/ |
19 | | |
20 | | Links for dependencies: |
21 | | |
22 | | - barvinok |
23 | | - source http://repo.or.cz/w/barvinok.git |
24 | | - webpage http://barvinok.gforge.inria.fr/ |
25 | | - pet http://repo.or.cz/w/pet.git |
26 | | - isl |
27 | | - source http://repo.or.cz/w/isl.git |
28 | | - webpage http://isl.gforge.inria.fr/ |
29 | | - polylib |
30 | | - source http://repo.or.cz/w/polylib.git |
31 | | - webpage http://icps.u-strasbg.fr/polylib/ |
| 33 | More resources at http://polycomp.gforge.inria.fr/ |