spaceorc2 Spaceorc.Z3Wrap by: spaceorc2 .NET 9.0 This package targets .NET 9.0. The package is compatible with this framework or higher. 3,670 total downloads last updated 1/4/2026 Latest version: 0.0.8 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.