Show HN: The Z3 theorem can now be built using CMakehttps://github.com/Z3Prover/z3/blob/master/README-CMake.md by delcypher • 10 years ago 2 0 10 years agoGIgithub.com