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