Z3Prover/z3

Z3 is a theorem prover from Microsoft Research that is licensed under the MIT license and has pre-built binaries available for download. It can be built using Visual Studio, Makefile, or CMake and has bindings for several programming languages. The recommended version of Visual Studio is VS2019. Z3 can also be built using make and GCC/Clang or using Cygwin and the Mingw-w64 cross-compiler. By default, it installs z3 executable at PREFIX/bin, libraries at PREFIX/lib, and include files at PREFIX/include. Z3 has a build system using CMake and can also be built using vcpkg. Z3 itself has few dependencies and uses C++ runtime libraries, including pthreads for multi-threading. Z3 contains its own self-contained multi-precision functionality, but it is optionally possible to use GMP for multi-precision integers.