2022年12月27日
pythonz3，初步使用
摘要： 基本变量类型 其分为整型(Int)，实型(Real)和向量(BitVec) 整形(int) 不是c中具有上下限的整形而是数学意义上的整数 创建方式 Int(name, ctx=None)，创建一个整数变量，name是名字 Ints (names, ctx=None)，创建多个整数变量，names是空 阅读全文
posted @ 2022-12-27 15:20 润梧 阅读(517) 评论(0) 推荐(1) 编辑