What solvers come with yowasp?

[XekriRedmane]

I typically have my bmc configured with smtbmc and z3, with an occasional foray into boolector. What comes "natively" in yowasp?

[whitequark]

None, since the solvers are not a part of YosysHQ and (at the moment at least) I'm only packaging YosysHQ projects. You would need to obtain z3 and boolector binaries somewhere else. However, yosys-smtbmc is a part of SymbiYosys and isn't a solver per se, so it's packaged as yowasp-yosys-smtbmc.