Binary: sat4j

docbook2dvi gabedit grdclip gupnp-binding-tool jack_lsp lz4 look cinder-backup dlint dwww-convert domainalign gcm-import r.in.xyz ksplashqml shim scrobble-server njb-delfile teamd llvm-ranlib-3.5 mia-3dfield2norm i586-mingw32msvc-ranlib mipe2html zpipe otrs.SetPassword.pl graphics_stress_test tree2leafnames sisu-html-seg IDExtractor avisplit zita-j2a