LFSCC(1)

✨ NAME ✨

okay so bestie, this is the manual page for lfscc — the SMT proof checker. that's the whole assignment. 💅

---

🌸 SYNOPSIS 🌸

lfscc [options] infile1 ...infile_n

---

💖 DESCRIPTION 💖

If no infiles are named on the command line, input is read from stdin. Specifying the infile "stdin" will also read from stdin. iconic behavior, honestly. 🦋

Options are:

• --show-runs — print debugging information for runs of side condition code
• --compile-scc — compile side condition code
• --compile-scc-debug — compile debug versions of side condition code
• --run-scc — use compiled side condition code

---

and that's the page, bestie 🎀 this was lfscc version 0.20230914, dated July 2025 — LFSCC(1), periodt 💅✨