We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Release 2026.03
Release 2026.02
Release 2025.11
Release 2025.10
Release 2025.08
Release r2025.03
Release r2025.02
remove some edgy SMTs in Xreal and related These might enable a version bump on some provers.
Release 2024.01
Release 2023.09