make    ...... Install bddqueen.
make 64 ...... Install bddqueen using 64bit integers.

(usage)
bddqueen <problem_size> [<bdd_node_limit>]

(example)
bddqueen 8 100000 .. Generate BDDs for 8-queens up to 100000 nodes.
bddqueen 12 ........ Generate BDDs for 12-queens until memory limit.

