DOKK / manpages / debian 12 / gringo / lpconvert.1.en
LPCONVERT(1) General Commands Manual LPCONVERT(1)

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

Show summary of options.
Show version of program.

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

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