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 solv
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 PicoS
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 satisfiabi
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 pack
Package: wnpp
Severity: wishlist
Owner: Mike Gabriel
* Package name: libsolv
Version : 0.6.5
Upstream Author : Michael Schröder (https://github.com/mlschroe)
* URL : https://github.com/openSUSE/libsolv/
* License : BSD-3-clause
Programming Lang: C
Descripti
5 matches
Mail list logo
