isl
From MaRDI portal
Isl
Cited in
(23)- IML - Integer Matrix Library
- Generation of parallel synchronization-free tiled code
- cddplus
- barvinok
- An algebraic algorithm for solving parametric integer programs
- FADAlib
- Omega+
- PolyLib
- Using basis dependence distance vectors in the modified Floyd-Warshall algorithm
- ALICe
- Omega
- Computing invariants with transformers: experimental scalability and accuracy
- Using basis dependence distance vectors to calculate the transitive closure of dependence relations by means of the Floyd-Warshall algorithm
- FME-IT
- TRACO
- An algorithm for solving parametric integer program
- PipLib
- Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
- Verimag Polyhedra Library
- Tiling arbitrarily nested loops by means of the transitive closure of dependence graphs
- Plethysm and lattice point counting
- scientific article; zbMATH DE number 6776481 (Why is no real title available?)
- isl: An integer set library for the polyhedral model
This page was built for software: isl
