![](https://img-blog.csdnimg.cn/20201014180756738.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
python
文章平均质量分 70
sh1kaku_
疾风亦有归途.
展开
-
Python z3
Z3这学期好忙,之前学的都没时间做记录今天看一个师傅在GitHub上的WP看到了这个库,之后大概学了一下,了解到这个库是用来解决带限制条件的方程组,在密码学中要用到的语法也比较少,简单记录一下r00ta.初始化单独定义一个变量时,Int表示整数,Real表示有理数,BitVec表示位向量。在末尾加 ”s"可以用来同时定义多个变量,注意使用BitVec时需要加位数。求解.Solver()创造一个求解器,用于之后添加限制条件.add()进行添加限制条件.check()用于判断是否有解,有解返原创 2021-04-21 20:03:33 · 675 阅读 · 0 评论 -
python之字符串
python之字符串字符串类型的表示表示方式字符串序号(索引)切片字符串的特殊字符字符串操作符字符串处理函数字符串处理方法方法在编程中是一个专有名词八个字符串处理函数字符串类型的格式化槽槽内部对格式化的配置方法字符串类型的表示字符串是一对由单引号或者一对双引号表示表示方式两类四种:一对单引号一对双引号三个单引号三个双引号第二类可以用于表示多行字符串或注释如果字符串中包含双引号,外层就使用单引号,反之亦然;若字符串中既存在单引号又存在双引号,则可以在外层使用三个单引号原创 2021-02-07 17:11:16 · 140 阅读 · 0 评论 -
python之数据类型及操作
python之数据类型及操作整数四种进制表现形式浮点数概念浮点数可以采用科学计数法表示复数数值运算操作符二元操作符数字类型的关系数值运算函数数字类型转换函数整数四种进制表现形式十进制1010,99,-217二进制以0b或0B开头:0b010,-0B101八进制以0o或0O开头:0o123,-0O456十六进制以0x或0X开头:0x9a,-0X89浮点数概念带有小数点及小数的数字浮点数取值范围和小数精度都存在限制,通常可以忽略取值范围数量级约-10^3原创 2021-02-04 12:27:56 · 481 阅读 · 1 评论