[zypp-commit] r8266 - in /trunk/sat-solver/src: evr.c evr.h