SAT4J(1)

✨ SAT4J ✨

okay so bestie, we're in the General Commands Manual section today and this one is a whole mood 💅 it's called sat4j and it's a genuine icon, let me tell you everything 🫶

🌸 NAME 🌸

sat4j — an efficient library of SAT solvers, written in Java 💖

🎀 SYNOPSIS 🎀

sat4j input-file

🦋 DESCRIPTION 🦋

This manual page is just here to give you the quick lil rundown on the sat4j command, no biggie 🌈

So like, sat4j is an efficient library for SAT solvers and it's written in Java. that's the whole vibe. it solves, it's efficient, it's Java. slay 👑

If you want an initial set of documentation, it lives at http://www.sat4j.org/doc.php ✨ and honestly? the "getting started guide" is the one to hit first, highly recommend, it's giving main character energy 💜

⚠️ lowkey important: that documentation is not shipped in the package, because it is not DFSG-free 😭 so go get it from the site, bestie, it's not coming with your install 🍓

💖 AUTHOR 💖

sat4j was written by Daniel Le Berre 👑

This manual page was written by Michael Tautschnig <mt@debian.org>, for the Debian project (but it may be used by others, she's generous like that 💅).

okay that's the whole page bestie, no cap 🫶 this was SAT4J(1) from June 8, 2008 — yeah she's an elder but she still ate 🔥 periodt 💜