- log complete proof
authorMichael Schroeder <mls@suse.de>
Fri, 16 Nov 2007 22:06:57 +0000 (22:06 +0000)
committerMichael Schroeder <mls@suse.de>
Fri, 16 Nov 2007 22:06:57 +0000 (22:06 +0000)
commitdabfd4fe6dacc6bb2abeeca1decc26050af03129
tree7d80b0c42c5a42dd7c9d9aa7b98cb1809c1ab2c3
parent7a25bd3bee6ff7af083406d0100ed3974174f708
- log complete proof
src/solver.c