Z3 Documentation Z3 is a high-performance theorem prover being developed at Microsoft Research. Z3 API Support C API C++ API .NET API Python API You can try Z3 at RiSE4Fun