Skip to content

z3-4.8.3
Compare
Choose a tag to compare
@NikolajBjorner NikolajBjorner released this 19 Nov 23:05
· 9340 commits to master since this release
z3-4.8.3
7f5d66c

This release covers

  • bug fixes since 4.8.1
  • .NET bindings for dotnet standard 1.4 on windows and 64 bit Linux systems and MacOs
Assets 9
Loading