bmc_simulate - Generates a trace of the model from 0 (zero) to k


bmc_simulate [-h]

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


Last updated on 1020327 15h41