Provided by: gringo_5.4.1-3ubuntu3_amd64 bug

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

       clasp(1), gringo(1), reify(1)

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                            LPCONVERT(1)