DIMACS-SOLVER(1)

💖 NAME 💖

okay so dimacs-solver — it's the manual page for dimacs-solver 1.3.1, and bestie, it's a whole vibe. sit down, hydrate, let's get into it 🫶

---

✨ DESCRIPTION ✨

🌸 Usage:

/builddir/build/BUILD/coin-or-lemon-1.3.1-build/BUILDROOT/usr/bin/dimacs-solver

[-int|-long|-double|-ldouble] [--help|-h|-help] [-infcap str]
[-q] [INFILE [OUTFILE]]

like, that's the whole shape of it. the flags go first, then the files (if you have files, which… maybe you don't 👀), and it just does its thing.

🦋 Where:

• [INFILE [OUTFILE]] — so there's an INFILE and an OUTFILE, and both of them are lowkey optional. if either the INFILE or the OUTFILE is missing, the standard input/output gets used instead. no cap. it's giving "flexible."

---

👑 OPTIONS 👑

• --help, -h, -help — prints a short help message. your lil "wait what does this do again" safety net 💅
• -double — use double for capacities, costs, etc. bigger numbers, more precision, more main character energy ✨
• -infcap str — the value used for those 'very high' capacities. you know, the "basically infinity but we had to pick something" number 🌈
• -int — use int for capacities, costs, etc. this is the default, so if you say nothing at all, this is what you get 🎀
• -ldouble — use long double for capacities, costs, etc. maximum precision, maximum drama 😭
• -long — use long long for capacities, costs, etc. big integers only, no decimals invited 🍓
• -q — do not print any report. silent. mysterious. unbothered. iconic 🙈

---

fr fr, if you're passing INFILE / OUTFILE around, remember the stdin/stdout fallback — it's not a bug, it's a feature 💖

---

and that's the tea, bestie 🧚 this was dimacs-solver version 1.3.1, dated July 2025 — slay, periodt 💅💜