Closed lou1306 closed 1 year ago
As the title implies, this PR updates the mathsat formula.
By the way, there is something strange going on with the Python bindings. The instruction import mathsat fails with the following message:
import mathsat
ImportError: dlopen(/opt/homebrew/lib/python3.10/site-packages/_mathsat.cpython-310-darwin.so, 0x0002): Library not loaded: '/opt/local/lib/libgmp.10.dylib'
I will try and see if something can be done to fix this.
As the title implies, this PR updates the mathsat formula.
By the way, there is something strange going on with the Python bindings. The instruction
import mathsatfails with the following message:I will try and see if something can be done to fix this.