Provided by: gringo_5.4.1-3ubuntu3_amd64
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/. -h, --help Show summary of options. -v, --version Show version of program.
clasp(1), gringo(1), reify(1)
lpconvert was written by Roland Kaminski <firstname.lastname@example.org> This manual page was written by Thomas Krennwallner <email@example.com>, for the Debian project (and may be used by others). December 11, 2016 LPCONVERT(1)