Symbolica
-
- 281,416 total downloads
- last updated 6/7/2021
- Latest version: 0.2.0-z3-test0029 (prerelease)
Package Description -
- 259,429 total downloads
- last updated 11/25/2021
- Latest version: 0.4.0
Package Description -
- 254,899 total downloads
- last updated 6/7/2021
- Latest version: 0.2.0-z3-test0029 (prerelease)
Package Description -
- 233,979 total downloads
- last updated 6/7/2021
- Latest version: 0.2.0-z3-test0029 (prerelease)
Package Description -
- 202,139 total downloads
- last updated 6/7/2021
- Latest version: 0.2.0-z3-test0029 (prerelease)
Package Description -
- 201,774 total downloads
- last updated 6/7/2021
- Latest version: 0.2.0-z3-test0029 (prerelease)
Package Description -
- 184,006 total downloads
- last updated 6/7/2021
- Latest version: 0.2.0-z3-test0029 (prerelease)
Package Description -
- 183,861 total downloads
- last updated 6/7/2021
- Latest version: 0.2.0-z3-test0029 (prerelease)
Package Description -
- 26,821 total downloads
- last updated 3/18/2022
- Latest version: 0.2.0-pullrequest0008-0006-fca3a94 (prerelease)
Z3 built from an arbitrary commit and packaged for dotnet. -
-
.NET 5.0 This package targets .NET 5.0. The package is compatible with this framework or higher. .NET Core 3.1 This package targets .NET Core 3.1. The package is compatible with this framework or higher. .NET Standard 2.0 This package targets .NET Standard 2.0. The package is compatible with this framework or higher.
- 20,931 total downloads
- last updated 1/28/2022
- Latest version: 0.1.0-pullrequest0003-0003-a0778ad (prerelease)
LLVMSharp packaged from an arbitrary version with interop and libLLVM included. -
-
- 20,622 total downloads
- last updated 5/28/2021
- Latest version: 0.2.0-pullrequest0020-0017-3c841c2 (prerelease)
Package Description