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