High-level loop and data-locality optimizer

 Uses an abstract mathematical representation based on integer polyhedra
 to analyze and optimize the memory access pattern of a program
 .
 This is a dependency package providing the default libbolt-dev package.