search

dreal / dreal4

Automated Reasoning in Nonlinear Theories of Reals
https://dreal.github.io
Apache License 2.0
151 stars 32 forks source link

For Apple Silicon Macs, use Rosetta to install dreal #318

Open keikun555 opened 1 week ago

keikun555 commented 1 week ago

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.

keikun555 commented 1 week ago

We can detect apple silicon using this command.