CLINGO(1)

✨ CLINGO(1) ✨

okay bestie, so this is the manual page for clingo, from the General Commands Manual section. she's a whole icon and you're about to understand her 💖

🌸 NAME 🌸

clingo — a combination of clasp and gringo

literally the power couple of the ASP world, no cap 👑

🎀 SYNOPSIS 🎀

clingo [OPTION]... [FILE]...

that's it. that's the whole vibe. options go brrr, files go brrr 🦋

💅 DESCRIPTION 💅

so this manual page documents clingo briefly — like, just the highlights, the little teaser trailer, iykyk 🎬

clingo stands for clasp on gringo and it combines both systems in a monolithic way. and the way that it does this?? iconic. its input language is that of gringo and its output corresponds to that of clasp. so you get the gringo in, the clasp out, one single blessed binary 🫶

and why does this matter, you ask? because this way it offers more control over the grounding and solving process than gringo and clasp can offer individually — the name for that extra power is multi-shot solving. main character energy fr fr 🌈

⭐ OPTIONS ⭐

ngl these programs follow the usual GNU command line syntax, and long options start with two dashes (`-'). a summary of options is included below 👇 and for a complete description, see the potassco-guide at https://sourceforge.net/projects/potassco/files/guide/ 📚

• -h, --help — show summary of options. your little "what was i doing again" safety net 🙈
• -v, --version — show version of program. gotta know which queen you're running 💜

🔥 SEE ALSO 🔥

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

the whole friend group 🫂 go say hi to all of them

👑 AUTHOR 👑

clingo was written by Roland Kaminski <kaminski@cs.uni-potsdam.de> — thank you for your service, legend 🫡

this manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>, for the Debian project (and may be used by others). cute and generous of him honestly ✨

and that's the whole page bestie!! version and date check: December 11, 2016 💌 mwah, drink water, ground responsibly 🧚💖