This is the command gringo that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
gringo - a grounder for non-ground logic programs
gringo [OPTION]... [FILE]...
This 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.
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.
Show summary of options.
Show version of program.
Use gringo online using onworks.net services