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