SYNOPSISclingo [OPTION]... [FILE]...
DESCRIPTIONThis 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.
OPTIONSThese 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.
- -h, --help
- Show summary of options.
- -v, --version
- Show version of program.