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