---
name: "lpconvert"
section: "1"
platform: "linux"
package: "gringo"
version: "5.6.2-2"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/lpconvert"
---

# lpconvert(1)

converter between gringo's aspif and smodels format

## 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)](/clasp/1.md), [**gringo**(1)](/gringo/1.md), [**reify**(1)](/reify/1.md)\

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