Research source code release for pseudo boolean counter based on addmc - View it on GitHub