Provided by: gringo_4.5.4-1_amd64
reify - a small utility that reifies logic programs
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@example.com> This manual page was written by Thomas Krennwallner <firstname.lastname@example.org>, for the Debian project (and may be used by others). July 13, 2015 REIFY(1)