차이

문서의 선택한 두 판 사이의 차이를 보여줍니다.

차이 보기로 링크

양쪽 이전 판 이전 판
다음 판
이전 판
linuxfromscratch:rangeoverpackages:isl [2024/05/03 10:16] – [설치] baecylinuxfromscratch:rangeoverpackages:isl [2024/05/31 05:23] (현재) – [설치] baecy
줄 3: 줄 3:
 [[wp>Integer set library]] \\ [[wp>Integer set library]] \\
 isl은 선형 제약 조건으로 제한된 정수점의 집합과 관계를 조작하기 위한 라이브러리입니다. 집합에서 지원되는 연산에는 교집합, 합집합, 집합 차이, 비어 있음 확인, 컨벡스 헐, (정수) 아핀 헐, 정수 투영, 파라메트릭 정수 프로그래밍을 사용한 사전적 최소값 계산, 결합 및 파라메트릭 정점 열거가 포함됩니다. 또한 일반화된 기저 감소, 지도의 전이적 폐쇄(무한 그래프를 인코딩할 수 있음), 의존성 분석, 조각별 단계 다항식에 대한 바운드에 기반한 ILP 솔버가 포함되어 있습니다. isl은 선형 제약 조건으로 제한된 정수점의 집합과 관계를 조작하기 위한 라이브러리입니다. 집합에서 지원되는 연산에는 교집합, 합집합, 집합 차이, 비어 있음 확인, 컨벡스 헐, (정수) 아핀 헐, 정수 투영, 파라메트릭 정수 프로그래밍을 사용한 사전적 최소값 계산, 결합 및 파라메트릭 정점 열거가 포함됩니다. 또한 일반화된 기저 감소, 지도의 전이적 폐쇄(무한 그래프를 인코딩할 수 있음), 의존성 분석, 조각별 단계 다항식에 대한 바운드에 기반한 ILP 솔버가 포함되어 있습니다.
-==== 의존성 ==== +=== 의존성 === 
-GMP+[[linuxfromscratch:12.1:090-gmp-6.3.0|GMP-6.3.0]]
  
 ==== 설치 ===== ==== 설치 =====
 +
 +번들 다운로드 : [[https://repo.or.cz/isl.git/bundles|ISL-bundle]]
 +
 +번들에서 저장소 만들기
 +
 +<code bash>
 +git init isl
 +cd isl
 +git remote add origin ../<filename>.bundle
 +git fetch
 +</code>
 +
 +원본으로 초기화
 +
 +<code bash>
 +git remote set-url origin https://repo.or.cz/isl.git
 +</code>
 +
 +업데이트 적용
 +
 +<code bash>
 +git fetch --prune origin
 +git remote set-head origin --auto
 +</code>
 +
 +체크아웃
 +
 +<code bash>
 +git branch -r
 +</code>
 +
 +
 구성 파일 설정 구성 파일 설정
 <code lang=bash> <code lang=bash>
 +./autogen
 ./configure --prefix=/usr --sysconfdir=/etc --disable-static ./configure --prefix=/usr --sysconfdir=/etc --disable-static
 make make
줄 16: 줄 49:
 make check make check
 </code> </code>
-총 12개의 테스트 중 12개 통과+총 15개의 테스트 중 15개 통과
  
 root 사용자로 설치 root 사용자로 설치
  • linuxfromscratch/rangeoverpackages/isl.1714731362.txt.gz
  • 마지막으로 수정됨: 2024/05/03 10:16
  • 저자 baecy