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

macro aws-smt-ir-derive

Intermediate representation for SMT problems

3 releases

0.1.2 Aug 7, 2023
0.1.1 Aug 7, 2023
0.1.0 Sep 16, 2022

#12 in #smt-lib


Used in aws-smt-ir

Apache-2.0

20KB
436 lines

amzn-smt-ir-derive

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

Dependencies

~3MB
~57K SLoC