[zypp-devel] SAT solver testsuite