| 0.1.0 |
|
|---|
#16 in #smt-lib
Used in amzn-smt-ir
20KB
436 lines
amzn-smt-ir-derive
amzn-smt-ir-derive provides macros used by the amzn-smt-ir crate.
Dependencies
~3.5MB
~75K SLoC
Intermediate representation for SMT problems
| 0.1.0 |
|
|---|
#16 in #smt-lib
Used in amzn-smt-ir
20KB
436 lines
amzn-smt-ir-derive provides macros used by the amzn-smt-ir crate.
~3.5MB
~75K SLoC