PICOSAT(1)

💅 PICOSAT(1) — the General Commands Manual bestie ✨

okay so you opened the manual for picosat and you're in the right place, this is the General Commands Manual page for it, and yes I'm gonna hold your hand through the whole thing 🫶

---

🌸 NAME 🌸

picosat — a SAT solver that also does proof and core stuff 💖

---

🎀 SYNOPSIS 🎀

picosat [options] input-file

---

🦋 DESCRIPTION 🦋

So this page is here to give you the quick lil rundown of the picosat command, bestie, nothing more, nothing less.

picosat is a SAT solver and it comes with proof and core capabilities. BUT — and this is the important part, listen up — if you actually wanna use those capabilities you have to run the picosat.trace binary instead. They come with some overhead, so like, they're the fancy version. ✨

---

✨ OPTIONS ✨

okay here's the whole menu, no skips, no cuts, every single one 👑

• -h — shows you a summary of the options, like a lil cheat sheet 💖
• --version — prints the version and then dips out, exit stage left 🦋
• --config — prints the build configuration and exits, same energy ⭐
• -v — turns on verbose output, so it tells you everything it's doing 🗣️
• -f — ignores an invalid header, like "nah we're not doing that today" 🙈
• -n — does not print the satisfying assignment, keeping it mysterious 💀
• -p — prints the formula in DIMACS format and exits 📄
• -i <0/1> — forces FALSE or TRUE respectively as the default phase (so <0/1> = FALSE, TRUE) 🌗
• -a <lit> — starts things off with an assumption 💭
• -l <limit> — sets the decision limit, a whole cap on decisions 🔥
• -s <seed> — sets the random number generator seed, for reproducible chaos 🎲
• -o <output> — sets the output file 📁
• -t <trace> — generates a compact proof trace file (use picosat.trace, see above 👆)
• -T <trace> — generates an extended proof trace file (use picosat.trace, see above 👆)
• -r <trace> — generates a reverse unit propagation proof file (use picosat.trace, see above 👆)
• -c <core> — generates a clausal core file in DIMACS format (use picosat.trace, see above 👆)
• -V <core> — generates a file listing the core variables 👑
• -U <core> — generates a file listing the used variables 🧚

---

💜 AUTHOR 💜

picosat 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). slay 💅

---

okay bestie that's the whole page, you ate that fr fr 🌈 and just so you have the receipts: this was the PICOSAT(1) page dated February 5, 2010 ✨ no cap, go solve some SATs 👑💖