Symbolica

Symbolica.Extensions.Configuration.FSharp by: Symbolica
- 108,107 total downloads
- last updated 11/25/2021
- Latest version: 0.4.0
- Symbolica FSharp dotnet Configuration Extensions
Package Description
Symbolica.Expression by: Symbolica
- 86,992 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
- Symbolica Symbolic Execution
Package Description
Symbolica.Abstraction by: Symbolica
- 79,058 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
- Symbolica Symbolic Execution
Package Description
Symbolica.Collection by: Symbolica
- 76,331 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
- Symbolica Symbolic Execution
Package Description
Symbolica.Representation by: Symbolica
- 72,499 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
- Symbolica Symbolic Execution
Package Description
Symbolica.Implementation by: Symbolica
- 69,603 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
- Symbolica Symbolic Execution
Package Description
Symbolica.Deserialization by: Symbolica
- 69,395 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
- Symbolica Symbolic Execution
Package Description
Symbolica.Computation by: Symbolica
- 68,337 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
- Symbolica Symbolic Execution
Package Description
Symbolica.Z3 by: Symbolica
- 10,090 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
- 8,852 total downloads
- last updated 5/19/2021
- Latest version: 0.1.0
- Symbolica Symbolic Execution
Package Description
Symbolica.LLVMSharp by: Symbolica
- 7,831 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.