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


ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver