We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
c190189
Remove Z3 4.8.5 and re-enable x64 builds on macOS.
