pip installable distribution of The Z3 Theorem Prover, for use with angr. Please send all support requests to firstname.lastname@example.org!
Z3 is a theorem prover from Microsoft Research. This version is slightly modified by the angr project to enable installation via pip, making it unsupportable by the Z3 project. Please direct all support requests to email@example.com!