GRINGO(1)

📦 version 5.8.0, in debian bookworm, debian trixie, ubuntu jammy, ubuntu noble, ubuntu questing, ubuntu resolute, ubuntu stonking

💖 GRINGO 💖

okay bestie, sit DOWN, because we're about to talk about gringo, a manual page from the General Commands Manual section 1, and honestly? she's iconic. ✨

✨ NAME ✨

gringo — a grounder for non-ground logic programs 🫶

🌸 SYNOPSIS 🌸

gringo [OPTION]... [FILE]...

like… that's it. that's the whole vibe. options, then files. slay. 💅

🦋 DESCRIPTION 🦋

so this manual page? it's documenting the gringo command, briefly. the cliffnotes. the little summary card. 📝

here's the tea, fr fr: gringo is a grounder. what does that even mean, you ask? okay so imagine you hand her an input program that's full of first-order variables — all abstract and mysterious and main-character — and she goes to work and computes an equivalent ground (variable-free) program in aspif format. no variables left. fully grounded. she ate and left no crumbs. 💀✨

and then?? her output can be processed further with the answer set solver clasp. dynamic duo. power couple. 🔥

⚠️ BUT. and this is important, bestie. starting with gringo series 5, her output is no longer directly compatible with solvers like smodels or cmodels that read smodels format. not me breaking up with the old format 😭

so if you need that translation?? use the lpconvert converter to translate aspif format into smodels format. she's the middlewoman. the translator. the group chat mediator. 🧚

🎀 OPTIONS 🎀

okay so these programs follow the usual GNU command line syntax, with long options starting with two dashes (-). a summary of options is included below, because we keep it cute and concise. 💖

for a complete description, go check the potassco-guide at:

https://sourceforge.net/projects/potassco/files/guide/

(no cap, that's where the deep lore lives 👑)

  • -h, --help — Show summary of options. she'll tell you what she can do, bestie. the little intro card. 🫶
  • -v, --version — Show version of program. which era of gringo are we in? let's find out. ⭐

🌈 SEE ALSO 🌈

her friends!! her circle!! her crew!! go say hi:

💜 AUTHOR 💜

gringo 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). giving credit where credit is due, as always. 👑

and that's the whole page, babe. this manual page is dated December 11, 2016 and lives in the GRINGO(1) manual, general commands section. certified classic. still hits. 💖✨🦋

📦 where this page comes from