vs974532452的博客

1.re.search(r’\d+(.\d+)?’,s).group()里面的正则表达式匹配整数和小数，(.\d+)?判断有无小数，有则匹配，没有则只匹配整数2.今天在写一个找出寻找文本（用C语言打印的内容输出到txt）里的变量的最大最小值的小脚本时，遇到传入si,sj两个字符以上的变量不会报错，但传入一个字符的变量就会报错，如下图：改代码(在判断条件变量后增加‘=’)如下图后不报错：...

安装z3-solver报错Could not find libz3.dll; consider adding the directory containing it to - your system's PATH environment variable, - the Z3_LIBRARY_PATH environment variable, or - to the custom Z...