encode_variables [-h] [-i order-file]
Generates the boolean BDD variables and the ADD needed to encode
propositionally the (symbolic) variables declared in the model.
The variables are created as default in the order in which they
appear in a depth first traversal of the hierarchy.
The input order file can be partial and can contain variables not declared in the model. Variables not declared in the model are simply discarded. Variables declared in the model which are not listed in the ordering input file will be created and appended at the end of the given ordering list, according to the default ordering.
Command options: