#smt #solver #smt-lib #intermediate-representation

yanked amzn-smt-ir-derive

Intermediate representation for SMT problems

0.1.0 Sep 12, 2022

#16 in #smt-lib


Used in amzn-smt-ir

Apache-2.0

20KB
436 lines

amzn-smt-ir-derive

amzn-smt-ir-derive provides macros used by the amzn-smt-ir crate.

Dependencies

~4MB
~78K SLoC