Factor graph algorithm for existential quantification on boolean formulae - View it on GitHub