lpconvert1
Converter between gringo's aspif and smodels format
Usage
lpconvert [OPTION] ...
[FILE] ...
Overview
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.
Releases
Unchanged in 5 releases since Debian 9 (Stretch).