Symbolica
-
- 153,023 total downloads
- last updated 11/25/2021
- Latest version: 0.4.0
Package Description -
- 137,870 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
Package Description -
- 127,379 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
Package Description -
- 114,394 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
Package Description -
- 107,146 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
Package Description -
- 99,477 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
Package Description -
- 90,034 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
Package Description -
- 87,188 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
Package Description -
- 14,058 total downloads
- last updated 6/28/2021
- Latest version: 0.1.0
Z3 built from an arbitrary commit and packaged for dotnet. -
- 11,330 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. -
- 10,508 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
Package Description