Add a hacky patch so that Z3 on M1 hardware can link to libs properly#5974

Merged

NikolajBjorner merged 2 commits intoZ3Prover:masterfrom zwimer:m1-pip-hacky-fix

Apr 15, 2022

+16-3

Commits on Apr 12, 2022

Add a hacky patch so that Z3 on M1 hardware can link to libs properly
zwimer
committed

Commits on Apr 15, 2022

Update setup.py
NikolajBjorner
authored