def randomBDDRule(agents, alpha):
global t0, t
u = t0
for a in range(agents):
scg = randomSCG(agents, alpha)
if u.pathValue(scg) is None:
n = t[random.randint(0, 9)]
scg.sort(reverse=True)
for x in scg:
n = Node.getnode(x, t0, n)
u = Node.union(u, n)
# print "appended " + str(scg)
else:
pass
# print "skipped " + str(scg)
m = MTZDD()
init_mtzdd(m, u)
m.precompute()
return m
