Symbolica
-
- 209,450 total downloads
- last updated 11/25/2021
- Latest version: 0.4.0
Package Description -
- 174,679 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
Package Description -
- 160,906 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
Package Description -
- 144,360 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
Package Description -
- 130,169 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
Package Description -
- 122,707 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
Package Description -
- 112,674 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
Package Description -
- 108,453 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
Package Description -
- 17,426 total downloads
- last updated 6/28/2021
- Latest version: 0.1.0
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.
- 14,160 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. -
-
- 12,777 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
Package Description