z3

Hillel Wayne分享了他编写的Z3脚本，讨论了逻辑性质方面的挑战以及他即将出版的书籍Logic for Programmers中的“糟粕”概念。