- fix memory consumption issue
authorMichael Schroeder <mls@suse.de>
Fri, 16 Nov 2007 17:33:32 +0000 (17:33 +0000)
committerMichael Schroeder <mls@suse.de>
Fri, 16 Nov 2007 17:33:32 +0000 (17:33 +0000)
commit965017ebc53cb8cf8c409703117f5f1a1172dc2b
tree6414c59e9de12cf7a7f86f150e42dc606c78186d
parent8ef4230ee9f07589a0ed9fea3bad3efe151771fe
- fix memory consumption issue
- re-indent some schubi code
src/solver.c