yes, in the second mail zehjotkah quoted (for a short period of time, now edited away *g*) sygic said that they currently _don't_ use pulseaudio.

both mediabox and mplayer directly send their output to pulseaudio, whereas the media player and sygic use the proprietary libplayback library, which uses ALSA.