add Solver::explain to get reasons for a decision expose rule counter internals
add Solver::explain to get reasons for a decision
expose rule counter internals


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