新博客文章：我写的一些有趣的Z3脚本

作者在完成《程序员逻辑》一书后，首次在五个月内更新博客，分享了一些有趣的Z3脚本示例。文章讨论了书中未采用的"废料"内容，并解释了选择特定数学属性进行证明的考量过程。