含详细的软硬件配置过程，网络拓扑图，需求分析,网络概况,网络逻辑方案,网络详细设计方案 项目测试与维护
2022-04-20 18:08:56
881KB
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