z3

Z3 Z3는 Microsoft Research의 정리 증명기입니다. MIT 라이선스에 따라 사용이 허가됩니다. Windows 바이너리 배포판에는 C++ 런타임 재배포 가능 패키지가 포함되어 있습니다. Z3에 익숙하지 않다면 여기에서 시작할 수 있습니다. 안정 및 야간 릴리스의 미리 빌드된 바이너리는 여기에서 사용할 수 있습니다. Z3는 Visual Studio, Makefile, CMake, vcpkg 또는 Bazel을 사용하여 빌드할 수 있습니다. 여러 프로그래밍 언어에 대한 바인딩을 제공합니다. Z3의 다양한 안정 릴리스에...