[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 #27 from Lorenzo Villani <lvillani at binaryhelix.net>  2008-08-20 09:40:04 EDT ---
@Pavel Alexeev
I'm sorry, the real URL is: http://en.opensuse.org/Libzypp/Sat_Solver

@David A. Wheeler
sat-solver is the upstream name. I just packaged it with it's original name.
But I'm willing to change its name. Regarding the smoke test, I'll add that
ASAP, it's more convenient than the huge test suite.

@Michal Schmidt
I'll remove that dependencies in 'Requires' and fix the spelling issues

I am on vacation, it'll require some time to get the issues fixed. Please be
patient and thanks for the interest :-)

-- 
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.