Please do not reply directly to this email. All additional comments should be made in the comments box of this bug report.
Summary: Review Request: sat-solver - Satisfyability Solver library which can be used to compute inter-package dependencies.
https://bugzilla.redhat.com/show_bug.cgi?id=442714
------- Additional Comments From lvillani@binaryhelix.net 2008-06-24 10:24 EST ------- Upstream says that they're doing such way because of the still unstable API. Since they're stabilising the API they say that they will be providing shared libraries in the near future.