zdd_algorithms
