Integer Set Library 0.26

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

의존성

GMP-6.3.0

설치

번들 다운로드 : ISL-bundle

번들에서 저장소 만들기

원본으로 초기화

업데이트 적용

체크아웃

구성 파일 설정 테스트 진행 총 15개의 테스트 중 15개 통과

root 사용자로 설치