SYNOPSISgringo [OPTION]... [FILE]...
DESCRIPTIONThis manual page documents briefly the gringo command.
gringo is a grounder for non-ground answer set programs. Current answer set solvers work on variable-free programs. Hence, a grounder is needed that, given an input program with first-order variables, computes an equivalent ground (variable-free) program.
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.