8000 Release Z3 4.7.1 · Z3Prover/z3 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Z3 4.7.1
Compare
Choose a tag to compare
@NikolajBjorner NikolajBjorner released this 22 May 23:58
· 11533 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
0