新規ブログ投稿：私が書いたいくつかのシンプルなZ3スクリプト

Hillel Wayne氏が5ヶ月ぶりにブログを更新し、Z3定理証明器で書いたいくつかのシンプルなスクリプトを紹介しています。この投稿では、書籍『Logic for Programmers』の制作中に生まれた「チャフ」（未使用の素材）についても触れ、SMTソルバーの特性や制約について考察しています。