The zdd implementation started based on this code