enable require,conflicts jobs in the SAT-solver
authorStefan Schubert <schubi@suse.de>
Tue, 15 Jan 2008 15:50:23 +0000 (15:50 +0000)
committerStefan Schubert <schubi@suse.de>
Tue, 15 Jan 2008 15:50:23 +0000 (15:50 +0000)
commit7432012e270ad47832fef79438e7123bbfd008e1
tree006650ad8ca80dd8192f60916e36d194dde5cff0
parenta6616ba40f2853af0b64d92f13b8f885c1bf3dd8
enable require,conflicts jobs in the SAT-solver
zypp/sat/SATResolver.cc
zypp/sat/SATResolver.h
zypp/solver/detail/Resolver.cc