[zypp-commit] r10684 - in /trunk/sat-solver: README examples/perl/example.pl