Fix issue with adding provides to SAT problem.
Fix issue with adding provides to SAT problem.

Open343/pkg,skoef/pkg,junovitch/pkg,khorben/pkg,en90/pkg,Open343/pkg,khorben/pkg,en90/pkg,skoef/pkg,junovitch/pkg,khorben/pkg