This utility provides merging BOM and CAD data to prepare SMT line assembling
2021-08-01 18:27:38
1.08MB
1
作者: Aaron R. Bradley / Zohar Manna
出版社: Springer
副标题: Decision Procedures with Applications to Verification
出版年: 2007-10-12
2021-07-31 11:14:13
2.42MB
1
作者: Daniel Kroening / Ofer Strichman
出版社: Springer
副标题: An Algorithmic Point of View
出版年: 2008-5-23
介绍：Z3 等 SMT 求解器理论基础
2021-07-23 22:55:00
3.72MB
1
689种常用 SMT贴片 Altium Designer 集成库（原理图库 + PCB 封装库）
2021-07-07 23:08:11
14.78MB
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