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