2 releases

0.1.8 Dec 26, 2023
0.1.0 Jan 2, 2023

#758 in Procedural macros

50 downloads per month

MIT/Apache

28KB
720 lines


The build utils for building the smtlib family of crates

Dependencies

~6–12MB
~146K SLoC