Bug#761948: ITP: libsolv -- dependency solver using a satisfiability algorithm

[Mike Gabriel]

Hi Michael,

On  Mi 17 Sep 2014 11:48:19 CEST, Michael Tautschnig wrote:

Hi Mike,

[...]

>> Search the internet for 'sat solver' to get links to the theory behind it.

>> .
>[...]
>
>Is there any chance the package could be refactored such as not to
>exclusively
>rely on the built-in SAT solver? Debian presently ships (at least) sat4j,
>Minisat and PicoSAT as competitive (i.e., participating in the SAT
>competition)
>solvers. As this is C source, linking against PicoSAT would likely be the
>easiest of those.
>
>Best,
>Michael

This question actually needs to be directed to upstream, I fear.

Yes, of course. And it's not of immediate urgency/importance. But upstream's
note (the bit on "Search the internet" quoted above) sounds like a pretty
ignorant variant of "RTFM." I consider it "ignorant," because there are

z."

off-the-shelf SAT solvers available (and packaged, as said) so IMHO this should really be "we ship our own SAT solver, but you can also use existing solvers x y

Please note: libsolv is not intended (by me) to integrate or use
other solvers already present in Debian. It is a dependency of
libzypp which will provide the shared library for (open)SUSE's
zypper package management tool.

The reason for bringing this into Debian is to provide obs-build as
a service on Debian machines (as I already wrote in my original ITP
message).

benefit as libsolv might then arrive at even faster dependency solving.

Best,
Michael

Got that and I think this is perfectly fine. But maybe, as future maintainer of that package (for Debian) you could get in touch with upstream for their own (!)

Mike

[1] https://github.com/openSUSE/libsolv/issues/55

--

DAS-NETZWERKTEAM
mike gabriel, herweg 7, 24357 fleckeby
fon: +49 (1520) 1976 148

GnuPG Key ID 0x25771B31
mail: mike.gabr...@das-netzwerkteam.de, http://das-netzwerkteam.de

freeBusy:
https://mail.das-netzwerkteam.de/freebusy/m.gabriel%40das-netzwerkteam.de.xfb

I notified upstream about your concerns and invited him (Michael Schröder) to our discussion [1].

pgpWKg3q6KOI9.pgp
Description: Digitale PGP-Signatur