最近在使用python过重遇到这个问题，NameError: name 'xxx' is not defined，在学习python或者在使用python的过程中这个问题大家肯定都遇到过，在这里我就这个问题总结以下几种情况：
错误NameError: name ‘xxx’ is not defined总结情况一：要加双引号（” “）或者（’ ‘）而没加情况二：字符缩进格式的问题情况三：`if __name__==’__main__’ :` 没有和`class类`进行对齐情况四：NameError: name ‘file’ is not defined情况五：NameError: name ‘模
2021-07-03 21:26:53
150KB
1
sym-to-cnf
将约束转换为 CNF
$ random-sym --total-vars=64 --vars-in-sym=32 --sym-size=1000000 \
| sort -ru \
| sym-to-cnf --total-vars=64 --method=tseitin +RTS -K20M
去做
需要测试
摆脱 + RTS -K20M（为什么状态 monad 不是尾递归的？）
将列表更改为向量
2021-07-03 18:03:21
17KB
1