University of Limerick
Browse

PackUp: tools for package upgradability solving, system description

Download (672.54 kB)
journal contribution
posted on 2012-12-19, 12:39 authored by Mikolas Janota, Inês Lynce, Vasco Manquinho, Joao Marques-Silva
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

Japan Society for the Promotion of Science

Find out more...

History

Publication

Journal on Satisfiability, Boolean Modeling and Computation;8, pp. 89-94

Publisher

IOS Press

Note

peer-reviewed

Other Funding information

SFI, ERC, FCT

Rights

© 2012 Delft University of Technology and the authors

Language

English

External identifier

Usage metrics

    University of Limerick

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC