z3-4.8.17

4.8.17 release

Changes:

• d420706 enable pypi release
• b8d0513 Merge branch 'master' of https://github.com/z3prover/z3
• cf1802d release notes
• 47459ca pre-release
• ffbabf2 enhance ocaml seq api (#6010)
• 5a685ba expose maxdiff
• 367bfed add min/max diff in final check
• c29cfa8 prep for max/min diff
• 87d2a3b map/mapi/foldl/foldli
• b3e0213 missing object ref

See More

• be653da init value
• d1f1e4c selectively enable dual strengthening
• 98e1c86 na
• 9cc5f69 na
• b5c7f00 add option to "rotate" cores during core finding
• 5a9b0dd Z3str3 Debug (#6000)
• 99e299b ocaml: fix is_arithmetic_numeral and is_bv_numeral (#6003)
• 02d6f6a fix build for Z3_mk_datatype_sort
• 81d97a8 enable nested ADT and sequences
• 8e2f09b #5778 - ensure arrays used inside of extensionality function are treated as shared
• 0a665b0 #5778
• 489459a #5778
• 0b453a4 set release version
• dc18b47 automatically release wasm build (#5997)
• 24baf56 fix missing propagation on final
• 33ffd46 inc version number

This list of changes was auto generated.