Binary: iclingo

Debian packages that has this binary:

Package: gringo

/usr/bin/iclingo

Random binary cloud:

asciinema sh motif-config pbmtomrf vao-01 pppoe-start samba-regedit winbindd shpinfo usbredirserver printcbm bscrypto m68hc12-size interactions2SIF.pl cronolog dh_fixperms freefoam-pdfPlot g15macro gtags-cscope gm-zip+sign_backups gnunet-unindex install-mbr neutron-ovs-cleanup pcb2gcode pilfont.py dnsimple.rb ronn create_db.Sybase xgfconfig xmedcon