SYNOPSIS

reify [OPTION]...

DESCRIPTION

This manual page documents briefly the reify command.

reify is a small utility that reifies logic programs, given on standard input in smodels format. The gringo grounder produces smodels format by default. The result of reify is a set of facts given on standard output that can be processed further with gringo.

OPTIONS

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.

-h, --help

Show summary of options.

-v, --version

Show version of program.

AUTHOR

reify was written by Roland Kaminski <[email protected]>

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