mxprshn vsteam.Z3.M1 by: mxprshn .NET 6.0 This package targets .NET 6.0. The package is compatible with this framework or higher. 845 total downloads last updated 11/8/2022 Latest version: 4.8.11-alpha.2 (prerelease) smt constraint solver theorem prover macos m1 Microsoft Z3 SMT solver rebuilt with .NET 6.0 bindings for Apple M1 chips. NB: only macOS binaries are included