Hi Michael, On Mi 17 Sep 2014 10:49:01 CEST, Michael Tautschnig wrote:
Hi, [...]This dependency solver code in this package is based on two major, but independent, blocks: . 1. Using a dictionary approach to store and retrieve package and dependency information. 2. Using satisfiability, a well known and researched topic, for resolving package dependencies. . 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 exclusivelyrely 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.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).
Greets, Mike -- 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
pgp3Q9FKLtQ_s.pgp
Description: Digitale PGP-Signatur
