pysathq / pysat

A toolkit for SAT-based prototyping in Python

Home Page:https://pysathq.github.io/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Cannot install on M1 mac

algebravic opened this issue · comments

I'm trying to install python-sat on my M1 mac (supplied by my employer) running OSX 12.6. It fails when compiling pycard.cc, specifically, in bitwise.hh line 11 it includes cmath. I then get a bunch of errors "no template name 'numeric_limits'". I'm using the xcode version 14.0.0 compiler. Any suggestions?

Honestly, I am not sure what to suggest. This looks like an issue with your SDK setup. My student has just compiled a binary wheel on his M1 laptop for Python 3.10. I uploaded it to PyPI. Can you try it?

Compilation works just fine on my M1-powered laptop. So I assume the issue to be related to your SDK/paths setup. Closing. Feel free to reopen if you believe this is a general issue.