1. The function "BddNode::getCube(size_t)" in reference does not work
correctly. Here's the fixed:
(1) File "bddNode.h"
The member function prototype:
bool getCubeRecur(bool p, size_t ith, size_t target, BddNode& res) const;
should be

但是如果你没有用到 getCube(i) for i > 1 应该不会错