Reentrant version of the BuDDy binary decision diagram package