Binary: picomcs

CentOS packages that has this binary:

Package: picosat

/usr/bin/picomcs

Random binary cloud:

openrisc-linux-gnu-size BitchX-1.2.1 rbd GenVtf euca-unassign-private-ip-addresses d.thematic.area ikiwiki-update-wikilist rmdtovbox bdecode ocamlplugininfo pcl_mesh_sampling pixeltool car dtc-xen_domU_gen_xen_conf i686-w64-mingw32-gnatchop-posix gpiv_scale r.li.patchdensity ices2 update-ifupdown-scripts-zg2.d-symlinks imsetup ovdb_monitor lava-server am7xxx-modeswitch livesys loofah-update runzeo summarize_otu_by_cat.py fst-parse2 srsd getfits