Binary: oclingo

Debian packages that has this binary:

Package: gringo

/usr/bin/oclingo

Random binary cloud:

bios_extract ctest3 BPDG gamazons ibus-table-createdb cd-info mpirun.ch_gen2 tkjpeg glx-pixmap13-life chcat qucstrans sgclean convertfonts date crashmail ihex2txt feelpp_qs_laplacian msp430-run r.le.pixel kismet_capture njb-delfile testrb mkfs.logfs luac5.2 macstream pdftoipe bits.py rawtherapee make-eot oldprep