PackUp: Tools for Package Upgradability Solving

Mikolas Janota, Ines Lynce, Vasco Manquinho, Joao Marques-Silva


This paper presents PackUp (PACKage UPgradability with Boolean formulations) a framework for solving the the software package upgradability problem. Earlier versions of the framework (cudf2msu, cudf2pbo) participated in the 3rd MISC-live, an international competition organized by the European project MANCOOSI. The framework encodes the problem as a weighted partial MaxSAT formula and invokes a dedicated solver to solve the formula. The framework supports two types of solvers: weighted partial MaxSAT solvers and optimization pseudo-Boolean (OPB) solvers. The paper discusses the design of the framework and the specifics of the problem encoding.


package upgradability problem, MaxSAT, Boolean optimization

Full Text:



  • There are currently no refbacks.