- always refine solutions, put result in problem queue
authorMichael Schroeder <mls@suse.de>
Mon, 12 Nov 2007 11:11:24 +0000 (11:11 +0000)
committerMichael Schroeder <mls@suse.de>
Mon, 12 Nov 2007 11:11:24 +0000 (11:11 +0000)
commit458a6c3f40872754ba2a5b957c4a14535256ae51
tree7d315527551726faab68930051b623d7a482d795
parenta4978e5eb9b7e7c0d76739515fb55253b239515f
- always refine solutions, put result in problem queue
- do not print result of solving anymore
src/poolvendor.c
src/solver.c
src/solver.h