libsolv(3) on Linux

The text 9924fdc6d9c3, as Debian 10 (Buster) shipped it.

package dependency solver library using a satisfiability algorithm

libsolv(3) on Linux now