lpconvert - converter between gringo's aspif and smodels format
lpconvert [
OPTION]... [
FILE]...
This manual page documents briefly the
lpconvert command.
lpconvert is a converter between gringo's aspif and smodels format.
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.
clasp(1),
gringo(1),
reify(1)
lpconvert 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).