Provided by: gringo_5.4.1-3ubuntu3_amd64 bug


       gringo - a grounder for non-ground logic programs


       gringo [OPTION]... [FILE]...


       This manual page documents briefly the gringo command.

       gringo  is a grounder that, given an input program with first-order variables, computes an
       equivalent ground (variable-free) program in aspif format. Its  output  can  be  processed
       further  with  answer  set  solver  clasp. Starting with gringo series 5, its output is no
       longer directly compatible with solvers like smodels or cmodels  reading  smodels  format.
       Use the lpconvert converter for translating aspif format to smodels format.


       These  programs  follow the usual GNU command line syntax, with long options starting with
       two dashes (`-').  A summary of options is included below.  For  a  complete  description,
       see the potassco-guide at

       -h, --help
              Show summary of options.

       -v, --version
              Show version of program.


       clasp(1), clingo(1), lpconvert(1), reify(1)


       gringo was written by Roland Kaminski <>

       This  manual  page  was  written  by  Thomas Krennwallner <>, for the
       Debian project (and may be used by others).

                                        December 11, 2016                               GRINGO(1)