[zypp-commit] r7500 - in /trunk/sat-solver: configure.in src/Makefile.am