Statically link z3? #2
Description
As per the Z3 crate documentation, z3 can be statically rather than dynamically linked to reduce the number of external dependencies required to build projects using this crate. Thoughts?
{{ message }}
As per the Z3 crate documentation, z3 can be statically rather than dynamically linked to reduce the number of external dependencies required to build projects using this crate. Thoughts?