Integer Set Library
Integer set library
isl은 선형 제약 조건으로 제한된 정수점의 집합과 관계를 조작하기 위한 라이브러리입니다. 집합에서 지원되는 연산에는 교집합, 합집합, 집합 차이, 비어 있음 확인, 컨벡스 헐, (정수) 아핀 헐, 정수 투영, 파라메트릭 정수 프로그래밍을 사용한 사전적 최소값 계산, 결합 및 파라메트릭 정점 열거가 포함됩니다. 또한 일반화된 기저 감소, 지도의 전이적 폐쇄(무한 그래프를 인코딩할 수 있음), 의존성 분석, 조각별 단계 다항식에 대한 바운드에 기반한 ILP 솔버가 포함되어 있습니다.

GMP

./configure --prefix=/usr --sysconfdir=/etc --disable-static
make
make check
make install