LPCONVERT(1)
π LPCONVERT(1) π
okay so bestie, welcome to the General Commands Manual entry for lpconvert β she's a whole vibe and we're gonna get into it β¨
πΈ NAME πΈ
lpconvert β a converter between gringo's aspif and smodels format π¦
β¨ SYNOPSIS β¨
lpconvert [OPTION]... [FILE]...
that's it. that's the girl. π
π DESCRIPTION π
so like, this manual page documents the lpconvert command briefly β she's not gonna write a whole novel about it, she's gonna give you the β¨essentialsβ¨
lpconvert is a converter between gringo's aspif and smodels format. that's her job. that's her purpose. main character energy fr fr π
π 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, go check out the potassco-guide, no cap:
https://sourceforge.net/projects/potassco/files/guide/2.0/
-h,--helpβ show summary of options. the classic "help me bestie" move π«Ά-v,--versionβ show version of program. so you know exactly which girl you're talking to π
π SEE ALSO π
clasp(1), gringo(1), reify(1) β the rest of the friend group, go say hi π§
π 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). iconic behavior honestly π
okay so that's the whole page bestie, you ate that πβ¨
December 11, 2016 β yeah she's a 2016 girlie but she still slays, and she lives in the General Commands Manual section, LPCONVERT(1), periodt π
ππ¦
π¦ where this page comes from
- debian bookworm: gringo 5.4.1-3.1+b1 Β· MIT
- debian trixie: gringo 5.6.2-2 Β· MIT
- ubuntu jammy: gringo 5.4.1-3ubuntu3 Β· MIT
- ubuntu noble: gringo 5.6.2-0ubuntu3 Β· MIT
- ubuntu questing: gringo 5.6.2-2
- ubuntu resolute: gringo 5.8.0-2 Β· MIT
- ubuntu stonking: gringo 5.8.0-2 Β· MIT
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash on : a language model's rewrite of the original, under its terms