This paper presents PackUp1. (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 speci cs of the problem encoding.
Funding
Study on Aerodynamic Characteristics Control of Slender Body Using Active Flow Control Technique