Use downloaded Z3 binary by default when static-link-z3 flag is active
#395
The logs for this run have expired and are no longer available.
Loading
static-link-z3 flag is active
#395