Binary: oclingo

Debian packages that has this binary:

Package: gringo

/usr/bin/oclingo

Random binary cloud:

avr32-linux-gnu-strings blkiomon cache_repair dhcrelay euare-releaserole gml2gv g_confrms xmllint links2 proofexecv modula3_count will_java_segfault bp_chaos_plot isotpsniffer cdfzoom epam restart install-postfix.sh jlesskey pitivi pyro-ns doit3 bobo qemu-system-moxie addrconsole fw_printenv scanwise_server xorrecord optimise yodl2html