PICOMUS(1)

✨ PICOMUS(1) ✨

ok so bestie, welcome to the General Commands Manual for picomus 💖 this is the whole entire vibe, no gatekeeping, we're going through it together 🫶

---

🌸 NAME 🌸

picomus — your simple, minimal unsatisfiable core extractor 💅 like literally the girl who finds the one thing ruining everything and pulls it out. no cap.

---

🎀 SYNOPSIS 🎀

picomus [options] [ input-file [ output-file ] ]

so it's giving: options first, then maybe an input file, then maybe an output file 🌈 all optional-ish, we'll get into it.

---

🦋 DESCRIPTION 🦋

okay so first things first, this manual page is just a brief lil rundown of the picomus command ✨

picomus is a SAT solver that uses the PicoSAT library to generate a 'minimal unsatisfiable core' — also known as a 'minimal unsatisfiable set' (MUS) — of a CNF in DIMACS format 🔥

like. it takes your CNF, and it hands you back the tiny lil squad of clauses that are actually causing the problem. main character energy fr fr 💀

---

💅 OPTIONS 💅

• -h — show a summary of options. the "bestie what are my choices" button 🎀
• -v — enable verbose output. it's giving "tell me everything, I want the tea" ☕✨

---

👑 AUTHOR 👑

picomus was written by Armin Biere <biere@jku.at> 💜

This manual page was written by Michael Tautschnig <mt@debian.org>, for the Debian project (but may be used by others) 🌸

---

and that's the whole page babes 💖 this was the picomus manual, from the General Commands Manual, last touched August 9, 2011, and it's still iconic ⭐ slay, go extract some cores 🦋💅