write_order - Writes variable order to file.
write_order [-h] [-f order-file]
Writes the current order of BDD variables in the
file specified in the environment variable output_order_file.
Command options:
- -f order-file
- Sets the environment variable output_order_file
to order-file and then writes the ordering into it.
Last updated on 990908 16h51