Concepedia

aspcud: A Linux Package Configuration Tool Based on Answer Set Programming

Martin Gebser, Roland Kaminski, Torsten Schaub

Electronic Proceedings in Theoretical Computer Science · 2011 · 35 citations · 5 references

DOIFull text

Open access

Concepts

Abstract

We present the Linux package configuration tool aspcud based on Answer Set Programming. In particular, we detail aspcud's preprocessor turning a CUDF specification into a set of logical facts.

References

5

Conflict-driven answer set solving

Martin Gebser, Benjamin Kaufmann, Torsten Schaub · 2007 · 296 citations

, , +13

Solving Linux Upgradeability Problems Using Boolean Optimization

Josep Argelich, Daniel Le Berre, Inês Lynce et al. · Electronic Proceedings in Theoretical Computer Science · 2010 · 46 citations · Full text

, , +14

Multi-Criteria Optimization in Answer Set Programming

Martin Gebser, Roland Kaminski, Benjamin Kaufmann et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2011 · 29 citations · Full text

, , +12

PackUp: Tools for Package Upgradability Solving1

Mikoláš Janota, Inês Lynce, Vasco Manquinho et al. · Journal on Satisfiability Boolean Modeling and Computation · 2012 · 17 citations · Full text

, , +4

Handling software upgradeability problems with MILP solvers

Claude Michel, Michel Rueher · Electronic Proceedings in Theoretical Computer Science · 2010 · 17 citations · Full text

, , +13