Provided by: gringo_5.4.1-3.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 in aspif format by reading
       standard input.  It produces a set of facts, which 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 https://sourceforge.net/projects/potassco/files/guide/2.0/.

       -h, --help
              Show summary of options.

       -v, --version
              Show version of program.

SEE ALSO

       clasp(1), gringo(1), lpconvert(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).

                                        December 11, 2016                                REIFY(1)