Integer Set Library 0.26
Integer Set Library
Integer set library
isl은 선형 제약 조건으로 제한된 정수점의 집합과 관계를 조작하기 위한 라이브러리입니다. 집합에서 지원되는 연산에는 교집합, 합집합, 집합 차이, 비어 있음 확인, 컨벡스 헐, (정수) 아핀 헐, 정수 투영, 파라메트릭 정수 프로그래밍을 사용한 사전적 최소값 계산, 결합 및 파라메트릭 정점 열거가 포함됩니다. 또한 일반화된 기저 감소, 지도의 전이적 폐쇄(무한 그래프를 인코딩할 수 있음), 의존성 분석, 조각별 단계 다항식에 대한 바운드에 기반한 ILP 솔버가 포함되어 있습니다.
의존성
설치
번들 다운로드 : ISL-bundle
번들에서 저장소 만들기
git init isl
cd isl
git remote add origin ../<filename>.bundle
git fetch
원본으로 초기화
git remote set-url origin https://repo.or.cz/isl.git
업데이트 적용
git fetch --prune origin
git remote set-head origin --auto
체크아웃
git branch -r
구성 파일 설정
./autogen
./configure --prefix=/usr --sysconfdir=/etc --disable-static
make
make check
root 사용자로 설치
make install
baecy