Provided by: gringo_4.5.4-1_amd64 bug

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)