Binary: picosat

socks cris-linux-gnu-strings byobu-launcher-install fedfs-lookup-junction otp oggz-info mpitests-osu_latency_mt pawX11.dynamic glsl-fs-fragcoord-zw-perspective po4a-normalize pylupdate4 markdown2-2.6 sparkline pdf_object system-config-kdump m68hc11-objcopy archive_agent feelpp_qs_nlopt gbrowse_set_admin_passwd gnunet-vpn r.regression.line trjcat olpc-volume openstack-auto-commands restcli qjackrcd wings3d wikeyname xorp_pimsm4 xx-pyline