- fixing obsoletes not checked in every case (fixing one test case -   mls) - adding a GNADENLOS mode not set by default (fixing 6 more, but   degrades performance by 28%)
- fixing obsoletes not checked in every case (fixing one test case -
  mls)
- adding a GNADENLOS mode not set by default (fixing 6 more, but
  degrades performance by 28%)


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