SMT问题的中间表示
由 所有者 awslabs,Bruno Dutertre,mww-aws。
#16 在 #smt-lib
用于 amzn-smt-ir
20KB 436 行
amzn-smt-ir-derive 为 amzn-smt-ir 包提供宏。
amzn-smt-ir-derive
amzn-smt-ir
~4MB ~78K SLoC