Debian logoDebian Screenshots >

packup

CUDF solver based on pseudo-Boolean constraints

Description

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.

Homepage

http://sat.inesc-id.pt/~mikolas/sw/packup/


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.