error: invalid value 'foo=bar' for '--solver <SOLVER>'