2017年7月3日
可满足性模块理论(SMT)基础 - 01 - 自动机和斯皮尔伯格算术
摘要： 可满足性模块理论(SMT)基础 01 自动机和斯皮尔伯格算术 前言 如果，我们只给出一个数学问题的（比如一道数独题）约束条件，是否有程序可以自动求出一个解？ 可满足性模理论 (SMT Satisfiability Modulo Theories)已经可以实现这个需求。 因此，最近想搞明白z3的实现原 阅读全文
posted @ 2017-07-03 13:10 SNYang 阅读(8216) 评论(0) 推荐(4) 编辑