zdd_minimize.Rd
zdd_minimize
zdd_minimize(zdd, Q = NULL)
a zdd object
a NULL object - nothing is done with this input, a refactor should be performed at some point to remove it
a zdd object that contains only minimal solutions