z3

Z3 Z3 は、Microsoft Research の定理証明器です。 MIT ライセンスの下で提供されています。Windows バイナリ配布には C++ ランタイム再頒布可能パッケージが含まれています。 Z3 に詳しくない場合は、こちらから始めることができます。 安定版およびナイトリーリリースのプリビルドバイナリはこちらから入手できます。 Z3 は、Visual Studio、Makefile、CMake、vcpkg、または Bazel を使用してビルドできます。 また、いくつかのプログラミング言語向けのバインディングを提供しています。...