z3 icon indicating copy to clipboard operation
z3 copied to clipboard

Published 20 hours ago • verified publisher icon Z3Prover

Installation issue on macOS Sequoia

Open MFaisalZaki opened this issue 1 year ago • 3 comments

Hi, I am trying to install z3-solver for Python 3.12, and I got this issue:

pip install z3-solver --no-cache-dir
Screenshot 2024-09-30 at 9 05 56 AM

MFaisalZaki avatar Sep 30 '24 08:09 MFaisalZaki