does not fit to current SAT solver
authorStefan Schubert <schubi@suse.de>
Tue, 13 Nov 2007 13:36:24 +0000 (13:36 +0000)
committerStefan Schubert <schubi@suse.de>
Tue, 13 Nov 2007 13:36:24 +0000 (13:36 +0000)
commitf75d5bc32dc55cd5e9ae832f190ce1a6d9936656
tree8779d9bcac481f9e019baaa06bfd1992e871468f
parent74adda0481e788a4a2a9548902fb945a277a7fa4
does not fit to current SAT solver
zypp/sat/SATResolver.cc