YICES-SAT(1)

📦 version 2.7.0, in fedora 43, fedora 44

✨ YICES-SAT — okay bestie, let's talk 💅

so this is the manual page for yices-sat from the User Commands section of the manual, and it is literally the Yices SAT solver 🎀 no cap.

🌸 NAME 🌸

yices-sat — the Yices Sat solver. that's it. that's the name. iconic behavior honestly 👑

🦋 SYNOPSIS 🦋

yices-sat [ options ] file

💖 DESCRIPTION 💖

okay so here's the vibe: yices-sat runs the Yices SAT solver on an input file that's in the DIMACS format. that's the whole job. it shows up, it reads your file, it does solver things. main character energy fr fr ✨

💅 OPTIONS 💅

  • --version, -V — displays the version and then dips out. exit stage left. 🫶
  • --help, -h — shows you a short help summary, aka the quick little cheat sheet so you're not lost.
  • --model, -m — if the problem turns out to be satisfiable, it prints a model on stdout. slay 💖
  • --verbose, -v — prints statistics and other data while the search is happening, so you can watch the whole thing unfold like a livestream 🔥
  • --stats — prints a statistics summary at the end of the search, so you get the receipts when it's all done ✨

🌈 SEE ALSO 🌈

and for bug reporting plus other info, please visit http://yices.csl.sri.com — go check it out bestie, iykyk 💜

👑 AUTHORS 👑

Copyright (C) SRI International.

Yices is developed at SRI's Computer Science Laboratory. The main developers are Bruno Dutertre <bruno@csl.sri.com>, Dejan Jovanovic <dejan@csl.sri.com>, Ian A. Mason <iam@csl.sri.com>, and Stephane Graham-Lengrand <stephane.graham-lengrand@sri.com>. absolute legends, all of them 🌟

okay and that's the whole page!! this one's from Yices 2.7.0, dated July 2025, and it lives at YICES-SAT(1). thanks for coming to my ted talk, mwah 💋💖🌸

📦 where this page comes from