xenial (1) reify.1.gz

NAME

       reify - a small utility that reifies logic programs

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.

SEE ALSO

       clasp(1), gringo(1),

AUTHOR

       reify was written by Roland Kaminski <kaminski@cs.uni-potsdam.de>

       This manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>, for the Debian project  (and
       may be used by others).

                                                  July 13, 2015                                         REIFY(1)