库记录
来源:互联网 发布:unity 房卡 麻将源码 编辑:程序博客网 时间:2024/05/24 05:10
一、标准库
二、第三方
1、Sympy
解方程。
import sympyx = sympy.Symbol('x')y = sympy.Symbol('y')print(sympy.solve([x * y -2, y - 9], [x, y]))>> [(2/9, 9)]
2、Z3
约束器。
Github:https://github.com/Z3Prover/z3
文档:https://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/guide-examples.htm
发布版:https://github.com/Z3Prover/z3/releases
安装: 1.下载发布版程序
2.bin/z3放到Python/Lib下,bin中的其他库文件放到Python\libs\z3bin,include目录下的我也放到Python\include
3.将z3bin添加到Path环境变量中
问题:PEAR - ARA = PEA,求字母分别代表的十进制数。
import z3p = z3.Int('p')e = z3.Int('e')a = z3.Int('a')r = z3.Int('r')s = z3.Solver()s.add(p < 10, e < 10, a < 10, r < 10)s.add(p >= 0, e >= 0, a >= 0, r >= 0, p + e + a + r != 0)s.add(p*1000 + e*100 + a*10 + r - (a*100 + r*10 + a) == p*100 + e*10 + a)# print(z3.simplify(p*1000 + e*100 + a*10 + r - (a*100 + r*10 + a)))if s.check() == z3.sat: print(s.model())else: print("unsat")
>>> [p = 1, e = 0, a = 9, r = 8]
这么高大上的模块用来暴搜是不是浪费了。
阅读全文
0 0
- 记录库
- 库记录
- github 库记录
- 常用库算法记录
- numpy 库记录
- [记录]MyBatis库更新
- argparse库 学习记录
- pandas库学习记录
- python库安装记录
- 记录初学urllib库
- 记录
- 记录
- 记录
- 记录
- 记录
- 记录
- 记录
- 记录
- Strman-java 一个java处理字符串的工具
- 不定参数函数的实现
- MAC 卸载python
- 如何通过Python+Selenium+PhantomJS/Chrome获取HTTP状态和Response Headers
- XGBoost解析系列--源码主流程
- 库记录
- kubernetes中 demo: tomcat + mysql
- 基于jQuery的三级联动控件
- jqGrid
- 杭电ACM OJ 1029 Ignatius and the Princess IV 快速排序 挖坑填埋法
- JS事件流,事件绑定
- PTA_6-6 Deque(25 分)手动实现双端队列
- 【离散数学】2.1什么是命题
- getWriter() has already been called for this response错误