摘要：Create_function()简介 适用范围是版本php>=4.0.1,php5,php7在php7.2.0以后就不支持create_function()这个功能 create_function("函数参数/变量"，"函数体") 官方案例如下 <?php $newfunc = create_fu 阅读全文

摘要：Z3约束器是什么 Z3是一个微软出品的开源约束求解器，能够解决很多种情况下的给定部分约束条件寻求一组满足条件的解的问题 Z3的简单认识 from z3 import * x=Int('x') y=Int('y') solve(x>2,y<10,x+2*y==7) 这里需要注意一下下载Z3的时候用的命 阅读全文