Skip to content

4172: Z3: Update to version 4.12.2 and remove unused 32 bit support

Simon Barner requested to merge 4172 into master

Closes #4172 (closed)

Edited by Simon Barner

Merge request reports