A parallel ROBDD implementation