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
20KB
436 lines
amzn-smt-ir-derive
aws-smt-ir-derive provides macros used by the amzn-smt-ir crate.
Dependencies
~3MB
~57K SLoC
Intermediate representation for SMT problems
| 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
20KB
436 lines
aws-smt-ir-derive provides macros used by the amzn-smt-ir crate.
~3MB
~57K SLoC