reify(1) a small utility that reifies logic programs


reify [OPTION]...


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.


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.


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).