Pisilinux3/pisi
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Browse Source
This commit is contained in:
Eray Özkural
2005-07-21 10:49:50 +00:00
parent 9297de2827
commit 0e762dbdef
2 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/dependency.pdf
BIN
View File
Binary file not shown.
doc/dependency.tex
+5 -4
View File
@@ -56,10 +56,9 @@ package $i$ is installable.\\
... ...
The system is thus understood as the conjunction of such facts, giving The system is thus understood as the conjunction of such facts, giving
us a logical programming formulation to determine installation conditions. us a logical programming formulation to determine installation
conditions. Note that for simplicity we do not consider the nuances in
Note that for simplicity we do not consider the nuances in upgrade and upgrade and remove operations at the moment.
remove operations at the moment.
However, using a SAT solver for this operation may be shooting a fly However, using a SAT solver for this operation may be shooting a fly
with a bazooka. We observe that only certain forms of propositions with a bazooka. We observe that only certain forms of propositions
@@ -197,6 +196,8 @@ the number of alternatives for comar OM $A$; the problem is that there
seems to be no simple solution to solve satisfiability with arbitrary seems to be no simple solution to solve satisfiability with arbitrary
disjunctions in package dependency, short of a $SAT$ solver). disjunctions in package dependency, short of a $SAT$ solver).
The resolution of conflicts
\section{Examples} \section{Examples}
\subsection{A single package upgrade} \subsection{A single package upgrade}