LPCONVERT(1) | General Commands Manual | LPCONVERT(1) |
NAME¶
lpconvert - converter between gringo's aspif and smodels format
SYNOPSIS¶
lpconvert [OPTION]... [FILE]...
DESCRIPTION¶
This manual page documents briefly the lpconvert command.
lpconvert is a converter between gringo's aspif and smodels format.
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¶
AUTHOR¶
lpconvert 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 |