spaceorc2 Spaceorc.Z3Wrap by: spaceorc2 .NET 9.0 This package targets .NET 9.0. The package is compatible with this framework or higher. 1,019 total downloads last updated 10/7/2025 Latest version: 0.0.5-beta.11 (prerelease) z3 theorem-prover smt solver constraint satisfiability biginteger mathematics formal-verification A complete, modern C# wrapper for Microsoft's Z3 theorem prover with unlimited precision arithmetic and type-safe API design.