1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
Source: packup
Standards-Version: 4.7.3
Maintainer: Ralf Treinen <treinen@debian.org>
Section: admin
Build-Depends:
debhelper-compat (= 13),
libgmp-dev,
zlib1g-dev,
Vcs-Browser: https://salsa.debian.org/debian/packup
Vcs-Git: https://salsa.debian.org/debian/packup.git
Homepage: https://sat.inesc-id.pt/~mikolas/sw/packup/
Package: packup
Architecture: any
Depends:
${misc:Depends},
${shlibs:Depends},
minisat+,
Provides:
cudf-solver,
Description: CUDF solver based on pseudo-Boolean constraints
packup is a solver for the package upgradability problem specified in
the CUDF format. It repeatedly invokes an optimization pseudo-Boolean
solver in order to solve the problem. By default minisat+ is used for
that purpose but a different solver can be used by specifying the
pertaining command line option.
|
