2 releases
0.1.8 | Dec 26, 2023 |
---|---|
0.1.0 | Jan 2, 2023 |
#758 in Procedural macros
50 downloads per month
28KB
720 lines
The build utils for building the smtlib family of crates
Dependencies
~6–12MB
~146K SLoC
0.1.8 | Dec 26, 2023 |
---|---|
0.1.0 | Jan 2, 2023 |
#758 in Procedural macros
50 downloads per month
28KB
720 lines
The build utils for building the smtlib family of crates
~6–12MB
~146K SLoC