%description
A free package dependency solver using a satisfiability algorithm. The
library is based on two major, but independent, blocks:
%description
A free package dependency solver using a satisfiability algorithm. The
library is based on two major, but independent, blocks: