The Z3 Theorem Prover - repository for staging python distributions - View it on GitHub