yosys-smtbmc(1) on Linux
The text 1a9a1190b08b, as Debian 13 (Trixie) shipped it. The page shows this text now.
write design to SMT2-LIBv2 file
Flags it lists
-
-S -
-c -
-d -
-i -
-m -
-p -
-s -
-t -
-u -
-v