BDD SAT Count Algorithm Ignores Redundant Nodes
The BDD in the image below has x19 as a redundant node, but it is not accounted for in the SAT count algorithm, causing the result to be 4 instead of 8. Also, attached below is the CNF file used to generate this BDD.
