Show HN: The Z3 theorem can now be built using CMake #1 Post by delcypher » Mon, Mar 07, 2016, 4:40 PM UTC Show HN: The Z3 theorem can now be built using CMakegithub.com