PackUp: Tools for Package Upgradability Solving1
Mikoláš Janota, Inês Lynce, Vasco M. Manquinho, João P. Marques-Silva · Journal on Satisfiability Boolean Modeling and Computation · 2012
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