Symbolica

Symbolica.Extensions.Configuration.FSharp by: Symbolica
- 118,937 total downloads
- last updated 11/25/2021
- Latest version: 0.4.0
- Symbolica FSharp dotnet Configuration Extensions
Package Description
Symbolica.Expression by: Symbolica
- 107,840 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
- Symbolica Symbolic Execution
Package Description
Symbolica.Abstraction by: Symbolica
- 99,294 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
- Symbolica Symbolic Execution
Package Description
Symbolica.Collection by: Symbolica
- 94,748 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
- Symbolica Symbolic Execution
Package Description
Symbolica.Implementation by: Symbolica
- 87,952 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
- Symbolica Symbolic Execution
Package Description
Symbolica.Representation by: Symbolica
- 83,935 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
- Symbolica Symbolic Execution
Package Description
Symbolica.Computation by: Symbolica
- 82,123 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
- Symbolica Symbolic Execution
Package Description
Symbolica.Deserialization by: Symbolica
- 81,600 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
- Symbolica Symbolic Execution
Package Description
Symbolica.Z3 by: Symbolica
- 12,433 total downloads
- last updated 6/28/2021
- Latest version: 0.1.0
- Symbolica dotnet Z3 smt constraint solver theorem prover
Z3 built from an arbitrary commit and packaged for dotnet.
Symbolica.Execution by: Symbolica
- 9,775 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
- Symbolica Symbolic Execution
Package Description
Symbolica.LLVMSharp by: Symbolica
- 8,957 total downloads
- last updated 1/28/2022
- Latest version: 0.1.0-pullrequest0003-0003-a0778ad (prerelease)
- Symbolica dotnet LLVM libLLVM bindings managed interop native
LLVMSharp packaged from an arbitrary version with interop and libLLVM included.