libsolv(3) on Linux

The text 2ad982b3e9da, as Debian 9 (Stretch) shipped it.

package dependency solver library using a satisfiability algorithm

libsolv(3) on Linux now