CRYPTOMINISAT5_SIMPLE(1)

📦 version 5.8.0, in ubuntu jammy

💖 NAME 💖

cryptominisat5_simple — bestie, it's literally a SAT solver 👑

✨ SYNOPSIS ✨

cryptominisat5_simple [options] <input-file>

okay so <input-file> has to be plain DIMACS, no cap 🫶

🌸 OPTIONS 🌸

  • --verb = [0...] — sets the verbosity level, aka how chatty it's gonna be 💬 anything higher than 2 and it starts giving you the debug log (so much tea, honestly)
  • --drat = {fname} — DRAT gets dumped to file, exactly that file, <pink>fname</pink> 🎀
  • --sls = {walksat,yalsat} — picks which SLS solver to use 🌈 your choices are walksat and yalsat, choose wisely bestie
  • --threads = [1...] — sets the number of threads 🧚 main character energy, multithreaded

💀 BUG TRACKER 💀

pleaseeee do not hesitate to file any and all issues at:

https://github.com/msoos/cryptominisat/issues

like genuinely, any and all of them, they want them 🙈

👑 AUTHORS 👑

cryptominisat5 is written and maintained by Mate Soos — icon, legend, the moment — reachable at soos.mate@gmail.com 💜

cryptominisat5 is under the MIT license, slay. please see https://opensource.org/licenses/MIT for the full text ⭐

🦋 SEE ALSO 🦋

more documentation for the cryptominisat5 SAT solver can be found at:

https://www.msoos.org/cryptominisat5/

and that's the whole vibe check bestie — this was cryptominisat5_simple 5.8.0, dropped way back in February 2022, and yeah, the manual name in the corner of every page is CRYPTOMINISAT5_SIMPLE(1) in case you forgot where you were 💅✨

📦 where this page comes from