next up previous contents
Next: Input options Up: Reference - Command line Previous: General options   Contents

BDD table options

-num-buckets <number> - Set the number of buckets in power of 2 [default=16]
-size-buckets <number> - Set the size of a bucket in power of 2 [default=5]
-bdd-pool-size <number> - The size of the bdd pool increment [default=1000000]
-gc <number> - Use garbage collection [default=1]

John Franco 2011-09-15