$ifusewsmp

$ifusewsmp is the command to use wsmp solver. This one is no longer supported since this solver is not free.