PackUp: Tools for Package Upgradability Solving. 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) articipated 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 partia MaxSAT solvers and optimization pseudo-Boolean (OPB) solvers. The paper discusses the design of the framework and the specifcs of the problem encoding.
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Neves, Miguel; Martins, Ruben; Janota, Mikoláš; Lynce, In^es; Manquinho, Vasco: Exploiting resolution-based representations for maxsat solving (2015)
- Martins, Ruben; Manquinho, Vasco; Lynce, In^es: Open-WBO: a modular MaxSAT solver (2014)
- Janota, Mikoláš; Lynce, In^es; Manquinho, Vasco; Marques-Silva, Joao: PackUp: tools for package upgradability solving (2012)