Comment Comment by johnday Slightly unfortunate name - z3 is the name of a widely-used theorem prover written at Microsoft. parent johnday 5 years ago
