generating testcase BEFORE staring the solver
authorStefan Schubert <schubi@suse.de>
Fri, 8 Feb 2008 11:24:51 +0000 (11:24 +0000)
committerStefan Schubert <schubi@suse.de>
Fri, 8 Feb 2008 11:24:51 +0000 (11:24 +0000)
commitf1cfbaaac47e2cf600de75393f6539b7f44c107e
tree61537173b53084cd9ab11807563ce401c441b4df
parent7a83aca99ea0641127942b85b73f5d35feabda31
generating testcase BEFORE staring the solver
zypp/sat/SATResolver.cc