You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

PackUp: Tools for Package Upgradability Solving1

Subtitle: System description

Article type: Research Article

Authors: Janota, Mikoláša | Lynce, Inêsa | Manquinho, Vascoa | Marques-Silva, Joaob

Affiliations: [a] INESC-ID/IST, Technical University of Lisbon, Portugal, Rua Alves Redol n. 9 1000-029 Lisboa, Portugal. E-mails: mikolas@sat.inesc-id.pt, ines@sat.inesc-id.pt, vmm@sat.inesc-id.pt | [b] Complex and Adaptive Systems Laboratory (CASL) University College Dublin, Belfield, Dublin 4, Ireland. E-mail: jpms@ucd.ie

Note: [1] This work is partially supported by SFI PI grant BEACON (09/IN.1/I2618), EC FP7 project MANCOOSI (214898), FCT grants ATTEST (CMU-PT/ELE/0009/2009), BSOLO (PTDC/EIA/76572/2006), iExplain (PTDC/EIA-CCO/102077/2008) and INESC-ID multiannual funding from the PIDDAC program funds.

Keywords: package upgradability problem, MaxSAT, Boolean optimization

DOI: 10.3233/SAT190090

Journal: Journal on Satisfiability, Boolean Modeling and Computation, vol. 8, no. 1-2, pp. 89-94, 2012

Received 1 April 2011
|
Revision received 1 June 2011
|
Published: 1 January 2012
Get PDF open access

Abstract

This paper presents PackUp (http://sat.inesc-id.pt/~mikolas/sw/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.

Show more