Linuxdistributioner inkluderar ofta pakethanteringsverktyg som apt-get i Debian eller yum i RedHat. Med hjälp av information om paketberoenden och konflikter, kan sådana verktyg avgöra hur man installerar ett nytt paket (och dess beroenden) på ett system med redan installerade paket. Med hjälp av off-the-shelf SAT-lösare, pseudo-booleanska lösare, och Integer Linear Programmering Lösare, har vi utvecklat ett nytt pakethanteringsverktyg, kallat Opium, som förbättrar nuvarande verktyg på två sätt: (1) Opium är komplett, genom att om det finns en lösning, Opium är garanterat att hitta det, och (2) Opium kan optimera en användartillhandahållen objektiv funktion, som till exempel kan säga att mindre paket bör föredras framför större. Vi gjorde en jämförande studie av vårt verktyg mot Debians apt-get på 600 spår av verkliga paketinstallationer. Vi visar att Opium körs tillräckligt snabbt för att vara användbart, och att dess fullständighet och optimalitet garanterar konkreta fördelar för slutanvändarna. - Vad är det för fel på dig?
Linux pakethanteringsverktyg OPIUM REF använder MaxSAT för att hitta den optimala paketinstallationen/avinstallera konfigurationen.
OPIUM: Optimal Package Install/Uninstall Manager
{'venue': "29th International Conference on Software Engineering (ICSE'07)", 'journal': "29th International Conference on Software Engineering (ICSE'07)", 'mag_field_of_study': ['Computer Science']}