yosys-smtbmc(1) on Linux
The text 7d9f324de41f, as Debian 12 (Bookworm) shipped it.
write design to SMT2-LIBv2 file
Flags it lists
-
-S -
-c -
-d -
-i -
-m -
-p -
-s -
-t -
-u -
-v