projects / platform / upstream / libsolv.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2c0c105) | patch
- assertify
authorMichael Schroeder <mls@suse.de>
Tue, 8 Jan 2008 18:23:35 +0000 (18:23 +0000)
committerMichael Schroeder <mls@suse.de>
Tue, 8 Jan 2008 18:23:35 +0000 (18:23 +0000)
commit824a9d3ea9f94257a0bb7577f395691231d81a0e
tree75656cf6ca97539c224d59b5e96e95a1f7975df0tree | snapshot
parent2c0c1059ef243abc5ebc781003580794b29d28b5commit | diff
- assertify
- add direct decision counter to make reset_solver faster and easier
  to understand
src/solver.c diff | blob | history
src/solver.h diff | blob | history
Domain: System / Base;