Provided by: gringo_5.4.1-3ubuntu3_amd64 bug


       clingo - a combination of clasp and gringo


       clingo [OPTION]... [FILE]...


       This manual page documents briefly the clingo command.

       clingo stands for clasp on gringo and combines both systems in a monolithic way. Its input
       language is that of gringo and its output corresponds to that of clasp. This way it offers
       more  control  over  the  grounding  and  solving  process than gringo and clasp can offer
       individually: multi-shot solving.


       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), gringo(1), lpconvert(1), reify(1)


       clingo 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                               CLINGO(1)