projects / platform / upstream / libsolv.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5a193d) | patch
- speed solving up a bit by not removing learnt rules if rules get
authorMichael Schroeder <mls@suse.de>
Thu, 15 Nov 2007 19:24:03 +0000 (19:24 +0000)
committerMichael Schroeder <mls@suse.de>
Thu, 15 Nov 2007 19:24:03 +0000 (19:24 +0000)
commitd4f96a9e7d39c2142ee0f1d7d7971cad98df6584
tree8c7ba5f2ff1d55190593bf66ddc22e8b236ed156tree | snapshot
parentd5a193d22d01d738669ed3f959f04db30bc2a583commit | diff
- speed solving up a bit by not removing learnt rules if rules get
  disabled
src/solver.c diff | blob | history
Domain: System / Base;