[Bug 442714] Review Request: sat-solver - Satisfyability Solver library which can be used to compute inter-package dependencies.

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=442714

--- Comment #50 from Lorenzo Villani <lvillani at binaryhelix.net> 2010-08-20 13:49:56 EDT ---
(In reply to comment #49)
> 
> Upstream isn't always the best :)  In openSUSE itself, the package is called
> libsatsolver (not libsat-solver nor sat-solver nor satsolver). 

It's called libsatsolver because they usually prefix library packages with
"lib", IIRC.

> [...]
> In that regard, sat-solver with a dash seems to be a relic name of the
> repository.

The most correct name is, probably, "satsolver". It's a generic (and probably
misleading) name. Maybe I can rename this package to "satsolver" now and,
should some conflict arise, rename it again later.

Suggestions welcome (-:

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.