pip install z3-solver

# Create virtual environment
python -m venv z3-env

# Activate on Linux/macOS
source z3-env/bin/activate

# Activate on Windows
z3-env\Scripts\activate

# Install Z3
pip install z3-solver

from z3 import *

print(get_version_string())
print(get_full_version())

# Quick test
x = Int('x')
s = Solver()
s.add(x > 0, x < 2)
print(s.check())  # Should print 'sat'

# Clone the repository
git clone https://github.com/Z3Prover/z3.git
cd z3

# Using Python build script
python scripts/mk_make.py
cd build
make
sudo make install

# Or using CMake directly
mkdir build && cd build
cmake -DZ3_BUILD_PYTHON_BINDINGS=ON ..
make -j$(nproc)
sudo make install

# For 64-bit build
python scripts/mk_make.py -x
cd build
nmake

mkdir build
cd build
cmake -DZ3_BUILD_PYTHON_BINDINGS=ON ..
cmake --build . --config Release

cd src/api/python
pip install .

pip install -e .

export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib

export DYLD_LIBRARY_PATH=$DYLD_LIBRARY_PATH:/usr/local/lib

setx PATH "%PATH%;C:\path\to\z3\bin"

export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/path/to/z3/lib

export DYLD_LIBRARY_PATH=$DYLD_LIBRARY_PATH:/path/to/z3/lib

import z3
print(z3.__file__)  # Check which installation is being used

pip install --upgrade z3-solver

pip uninstall z3-solver

cd build
sudo make uninstall