Skip to content
GitLab
Explore
Sign in
af3
AF3
Issues
#4172
Update Z3 to version 4.12.2
Also retire unused 32-bit support
Edited
Oct 25, 2022
by
Simon Barner