软件包：libpolly-17-dev（1:17~++20230709044550+c54ff51be9c1-1~exp1） [debports]
试制（Experimental）软件包
警告：这个软件包来自于 experimental 发行版。这表示它很有可能表现出不稳定或者出现 bug ，甚至是导致资料损失。请务必在使用之前查阅 changelog 以及其他潜在的文档。
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