A python script to build an ROBDD from a given boolean formula