Microsoft – クラウド、コンピューター、アプリ & ゲーム

すべての Microsoft 製品 Global Microsoft 365 Teams Copilot Windows Surface Xbox セール 法人向け サポート ソフトウェア Windows アプリ AI OneDrive Outlook Skype OneNote Microsoft Teams PC とデバイス Xbox を購入する アクセサリ VR & 複合現実 エンタメ Xbox Game Pass Ultimate Xbox Live Gold Xbox とゲーム PC ゲーム Windows ゲーム 映画とテレビ番組 法人向け Microsoft Cloud Microsoft Security Azure Dynamics 365 一般法人向け Microsoft 365 Microsoft Industry Microsoft Power Platform W

[notae]

MITライセンスになった←"License The Z3 downloads on this site are available under a non commercial use license. Z3 is also available under a commercial use license from the Microsoft online store."

[tmatsuu]

Microsoft Researchが開発した自動定理証明か。APIが用意されてる。デモあり。ソースコードも提供されているが独自ライセンスっぽい。

[lanius]

"Z3 is a high-performance theorem prover".

[masterq]

SMTソルバ、いろいろ応用例があるらしい。Debianパッケージ化したい