added vendorcallback for SAT solver
authorStefan Schubert <schubi@suse.de>
Mon, 4 Feb 2008 13:42:10 +0000 (13:42 +0000)
committerStefan Schubert <schubi@suse.de>
Mon, 4 Feb 2008 13:42:10 +0000 (13:42 +0000)
commit15a6874cffdc3ab8257c8539daa61c9ba2c29d53
tree3aed8daf2993aa5416b8848b55411012358a3359
parent63248e7025f11e5a48c055cab706a667a3943e5c
added vendorcallback for SAT solver
zypp/sat/SATResolver.cc