import error _boolector_add

Question

import error _boolector_add

Opened this issue a year ago · 0 comments

from pyboolector import BoolectorNode

ImportError: dlopen(/Library/Frameworks/Python.framework/Versions/3.11/lib/python3.11/site-packages/pyboolector.cpython-311-darwin.so, 0x0002): symbol not found in flat namespace '_boolector_add'

Hi I am trying to run riscv-dv using command
python3 run.py --simulator=pyflow

I am running on Mac- Arm based.
Is there a workaround for this ?