search

emina / rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Other
640 stars 74 forks source link

z3: bump version to 4.12.6 #279

Open sorawee opened 7 months ago

sorawee commented 7 months ago

4.12.6 is the latest version released last week. The main motivation for the upgrade, though, is to get past 4.12.3, as subsequent versions (4.12.4 onward) support aarch64 for Linux.