<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Nov 9, 2014 at 2:42 PM, Pierre Abbat <span dir="ltr"><<a href="mailto:phma@leaf.dragonflybsd.org" target="_blank">phma@leaf.dragonflybsd.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I'm upgrading the packages. First it downloaded a bunch of packages but didn't<br>
upgrade anything. Then I ran "pkg upgrade" again and it fetched some more<br>
packages and said the following:<br>
<br>
Checking integrity... done (19 conflicting)<br>
pkg: Cannot solve problem using SAT solver:<br>
cannot install package kopete~net-im/kopete-kde4, remove it from request?<br>
[Y/n]: y<br>
cannot install package libotr3~security/libotr3, remove it from request?<br>
[Y/n]: y<br>
pkg: Cannot solve problem using SAT solver:<br>
cannot install package xf86-video-intel~x11-drivers/xf86-video-intel, remove<br>
it from request? [Y/n]: y<br>
cannot install package xorg-drivers~x11-drivers/xorg-drivers, remove it from<br>
request? [Y/n]: y<br>
Checking integrity... done (1 conflicting)<br>
Checking integrity... done (0 conflicting)<br>
Conflicts with the existing packages have been found.<br>
One more solver iteration is needed to resolve them.<br>
The following 800 packages will be affected (of 0 checked):<br>
<br>
Then it put up a list of packages to remove and install again. Does SAT have<br>
anything to do with the satisfiability problem?<br>
<span class=""><font color="#888888"><br>
Pierre<br>
--<br>
ve ka'a ro klaji la .romas. se jmaji<br>
<br>
</font></span></blockquote></div><br><br><br><a href="http://en.wikipedia.org/wiki/Boolean_satisfiability_problem">http://en.wikipedia.org/wiki/Boolean_satisfiability_problem</a><br><br><br></div><div class="gmail_extra">Thank you very much .<br><br></div><div class="gmail_extra">Mehmet Erol Sanliturk<br><br><br></div><div class="gmail_extra"><br><br></div></div>