EWBF,

When I do miner -h  , one of the examples lists --solver 1.

What is that switch and what options are provided?