Skip to content

Z3 4.7.1
Compare
Choose a tag to compare
@NikolajBjorner NikolajBjorner released this 22 May 23:58
· 10864 commits to master since this release
z3-4.7.1
3b1b82b

Z3 4.7.1. official release

  • cumulative bug fix since 4.6.0
  • minor version incremented as API now uses stdbool and stdint: bool and int64_t, uint64_t
Assets 11
Loading