vsteam.Z3.M1 (nuget): Microsoft Z3 SMT solver rebuilt with .NET 6.0 bindings for Apple M1 chips. NB: only macOS binaries are included
Keywords: smt|constraint|solver|theorem|prover|macos|m1