다면체 최적화는 컴파일러에서 루프 중첩을 최적화하는 데 사용되는 도구입니다. 이를 사용하는 주요 컴파일러는 처음부터 다면체 최적화를 구현하지만, 다면체 최적화에 사용되는 핵심 알고리즘을 구현하는 일반적으로 적용 가능한 오픈 소스 C 라이브러리인 정수 집합 라이브러리(ISL)가 있습니다. 이 글은 ISL의 일부를 개괄적으로 설명하며, 주로 집합 및 관계의 표현과 이에 대한 기본 조작에 중점을 둡니다.