dreal4 depends on packages that requires x86 architectures. I'm wondering if we can use rosetta to install these packages.
Rosetta does support brew.

Perhaps folks have tried going down that path and got stuck somewhere.