bmc_simulate [-h | [-p | -v] -k ]
bmc_simulate does not require a specification
to build the problem, because only the model is used to build it.
The problem length is represented by the -k command parameter,
or by its default value stored in the environment variable
bmc_length.
Command options: