skip undefined solvables (i.e. solvable 0)
skip undefined solvables (i.e. solvable 0)


openSUSE/sat-solver-bindings,openSUSE/sat-solver-bindings,openSUSE/sat-solver-bindings,openSUSE/sat-solver-bindings,openSUSE/sat-solver-bindings,openSUSE/sat-solver-bindings