projects / platform / upstream / libsolv.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9e09e79) | patch
- as we now always keep the learnt rules we can clean up the code
authorMichael Schroeder <mls@suse.de>
Fri, 16 Nov 2007 15:44:39 +0000 (15:44 +0000)
committerMichael Schroeder <mls@suse.de>
Fri, 16 Nov 2007 15:44:39 +0000 (15:44 +0000)
commit2affe65b173aa767efa6f27459eacdc2c6f2c049
tree2b6ddd27d16d551bf28bc7d27066a26b385fde48tree | snapshot
parent9e09e79d5ea318d3e4ec8f9dc7b2d53c9c2a07c6commit | diff
- as we now always keep the learnt rules we can clean up the code
  a bit. this changes the layout of the problem queue again, sorry
  schubi
- put unsolvable proof on learnt_pool queue
src/solver.c diff | blob | history
Domain: System / Base;