Symbolica
-
- 239,850 total downloads
- last updated 11/25/2021
- Latest version: 0.4.0
Package Description -
- 229,729 total downloads
- last updated 6/7/2021
- Latest version: 0.2.0-z3-test0029 (prerelease)
Package Description -
- 209,788 total downloads
- last updated 6/7/2021
- Latest version: 0.2.0-z3-test0029 (prerelease)
Package Description -
- 194,381 total downloads
- last updated 6/7/2021
- Latest version: 0.2.0-z3-test0029 (prerelease)
Package Description -
- 171,098 total downloads
- last updated 6/7/2021
- Latest version: 0.2.0-z3-test0029 (prerelease)
Package Description -
- 165,032 total downloads
- last updated 6/7/2021
- Latest version: 0.2.0-z3-test0029 (prerelease)
Package Description -
- 152,198 total downloads
- last updated 6/7/2021
- Latest version: 0.2.0-z3-test0029 (prerelease)
Package Description -
- 148,727 total downloads
- last updated 6/7/2021
- Latest version: 0.2.0-z3-test0029 (prerelease)
Package Description -
- 23,110 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. -
- 17,017 total downloads
- last updated 5/28/2021
- Latest version: 0.2.0-pullrequest0020-0017-3c841c2 (prerelease)
Package Description -
-
.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.
- 15,880 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. -