🔴 v2023.5 entered Hard Code Freeze, changes will not be accepted • schedule
🟠 v2024.1 entered Soft Code Freeze/Hard Feature Freeze, only bug fixes will be accepted • schedule
🟡 v2025dev2 entered Soft Feature Freeze, no additional features will be accepted • schedule
z3 Debian release 4.8.12-3.1
