Man page - lpconvert(1)

Packages contains this manual

Package:  gringo
apt-get install gringo

Manuals in package:
• oclingo(1)
• reify(1)
• clingo(1)
• lpconvert(1)
• iclingo(1)
• gringo(1)
Documentations in package:
• gringo

Manual

LPCONVERT

NAME
SYNOPSIS
DESCRIPTION
OPTIONS
SEE ALSO
AUTHOR

---

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).

---