bmc_simulate [-h]
bmc_simulate does not require a specification to build the problem, because only the model is used to build it.