Binary: sat4j

Debian packages that has this binary:

Package: sat4j

/usr/bin/sat4j

Random binary cloud:

frv-linux-gnu-as autoexpect update-gdk-pixbuf-loaders hct hetupd uuserver thumbnail phc2sys pnmcat pmeth hiz-stencil-read-fbo-d24-s8 saxon ttv crip savelog dirt dvdtguess jembossctl diameterc feed2imap hp2ps giftrans v.in.db hedgewars-server ladi-control-center rmcp atk6-flood_mldrouter6 uim-im-switcher-gtk v4l2ctrl vfltest