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