차이
문서의 선택한 두 판 사이의 차이를 보여줍니다.
| 양쪽 이전 판 이전 판 다음 판 | 이전 판 | ||
| linuxfromscratch:rangeoverpackages:isl [2024/05/23 08:37] – [설치] baecy | linuxfromscratch:rangeoverpackages:isl [2024/05/31 05:23] (현재) – [설치] baecy | ||
|---|---|---|---|
| 줄 3: | 줄 3: | ||
| [[wp> | [[wp> | ||
| isl은 선형 제약 조건으로 제한된 정수점의 집합과 관계를 조작하기 위한 라이브러리입니다. 집합에서 지원되는 연산에는 교집합, 합집합, 집합 차이, 비어 있음 확인, 컨벡스 헐, (정수) 아핀 헐, 정수 투영, 파라메트릭 정수 프로그래밍을 사용한 사전적 최소값 계산, 결합 및 파라메트릭 정점 열거가 포함됩니다. 또한 일반화된 기저 감소, 지도의 전이적 폐쇄(무한 그래프를 인코딩할 수 있음), 의존성 분석, 조각별 단계 다항식에 대한 바운드에 기반한 ILP 솔버가 포함되어 있습니다. | isl은 선형 제약 조건으로 제한된 정수점의 집합과 관계를 조작하기 위한 라이브러리입니다. 집합에서 지원되는 연산에는 교집합, 합집합, 집합 차이, 비어 있음 확인, 컨벡스 헐, (정수) 아핀 헐, 정수 투영, 파라메트릭 정수 프로그래밍을 사용한 사전적 최소값 계산, 결합 및 파라메트릭 정점 열거가 포함됩니다. 또한 일반화된 기저 감소, 지도의 전이적 폐쇄(무한 그래프를 인코딩할 수 있음), 의존성 분석, 조각별 단계 다항식에 대한 바운드에 기반한 ILP 솔버가 포함되어 있습니다. | ||
| - | ==== 의존성 | + | === 의존성 === |
| - | GMP | + | [[linuxfromscratch: |
| ==== 설치 ===== | ==== 설치 ===== | ||
| - | 번들 다운로드 : [[https:// | + | 번들 다운로드 : [[https:// |
| 번들에서 저장소 만들기 | 번들에서 저장소 만들기 | ||
| 줄 15: | 줄 15: | ||
| git init isl | git init isl | ||
| cd isl | cd isl | ||
| - | git remote add origin ../isl-7c04d5cb.bundle | + | git remote add origin ../< |
| git fetch | git fetch | ||
| </ | </ | ||
baecy