A fork of the Z3 Theorem Prover on which to develop nodejs bindings - View it on GitHub