Debian logoDebian Screenshots >


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.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.



51 other people were interested in this package here. The newest known version of this software is 0.6-2 (Information last updated about 4 hours ago.)