[ Source: packup ]
Package: packup (0.6-3.1)
의사 부울 제약조건에 기반한 CUDF 솔버
packup은 CUDF 형식으로 지정된 패키지 업그레이드 문제에 대한 솔버입니다. 문제를 해결하기 위해 최적화 의사 부울 솔버를 반복해서 호출합니다. 기본적으로 minisat+이 해당 목적으로 사용되지만 관련 명령행 옵션을 지정하여 다른 솔버를 사용할 수도 있습니다.
Other Packages Related to packup
|
|
|
|
-
- dep: libc6 (>= 2.7)
- GNU C 라이브러리: 공유 라이브러리
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 3.0)
- GCC 기능 지원 라이브러리
-
- dep: libgmp10 (>= 2:6.2.1+dfsg1)
- Multiprecision 연산 라이브러리
-
- dep: libgmpxx4ldbl (>= 2:6.2.1+dfsg1)
- Multiprecision 연산 라이브러리 (C++ 바인딩)
-
- dep: libstdc++6 (>= 11)
- GNU 표준 C++ 라이브러리 v3
-
- dep: minisat+
- 의사 부울 제약조건을 위한 솔버
-
- dep: zlib1g (>= 1:1.1.4)
- 압축 라이브러리 - 런타임
Download packup
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
s390x | 78.1 kB | 261.0 kB | [list of files] |