Frameworks

.NET

net7.0
net6.0
net5.0

.NET Core

netcoreapp3.1
netcoreapp3.0
netcoreapp2.2
netcoreapp2.1
netcoreapp2.0
netcoreapp1.1
netcoreapp1.0

Package type

All types

Dependency

.NET tool

Template

Options

Include prerelease

11 packages returned for Tags:"Symbolica"

Symbolica.Extensions.Configuration.FSharp by: Symbolica

103,180 total downloads
last updated 11/25/2021
Latest version: 0.4.0

Symbolica FSharp dotnet Configuration Extensions

Package Description

Symbolica.Deserialization by: Symbolica

63,892 total downloads
last updated 6/7/2021
Latest version: 0.2.0-z3-test0029

Symbolica Symbolic Execution

Package Description

Symbolica.Expression by: Symbolica

81,395 total downloads
last updated 6/7/2021
Latest version: 0.2.0-z3-test0029

Symbolica Symbolic Execution

Package Description

Symbolica.Collection by: Symbolica

70,752 total downloads
last updated 6/7/2021
Latest version: 0.2.0-z3-test0029

Symbolica Symbolic Execution

Package Description

Symbolica.Abstraction by: Symbolica

73,532 total downloads
last updated 6/7/2021
Latest version: 0.2.0-z3-test0029

Symbolica Symbolic Execution

Package Description

Symbolica.Computation by: Symbolica

62,854 total downloads
last updated 6/7/2021
Latest version: 0.2.0-z3-test0029

Symbolica Symbolic Execution

Package Description

Symbolica.Representation by: Symbolica

67,046 total downloads
last updated 6/7/2021
Latest version: 0.2.0-z3-test0029

Symbolica Symbolic Execution

Package Description

Symbolica.Implementation by: Symbolica

64,056 total downloads
last updated 6/7/2021
Latest version: 0.2.0-z3-test0029

Symbolica Symbolic Execution

Package Description

Symbolica.Execution by: Symbolica

8,291 total downloads
last updated 5/28/2021
Latest version: 0.2.0-pullrequest0020-0017-3c841c2

Symbolica Symbolic Execution

Package Description

Symbolica.LLVMSharp by: Symbolica

7,682 total downloads
last updated 1/28/2022
Latest version: 0.1.0-pullrequest0003-0003-a0778ad

Symbolica dotnet LLVM libLLVM bindings managed interop native

LLVMSharp packaged from an arbitrary version with interop and libLLVM included.

Symbolica.Z3 by: Symbolica

9,882 total downloads
last updated 3/18/2022
Latest version: 0.2.0-pullrequest0008-0006-fca3a94

Symbolica dotnet Z3 smt constraint solver theorem prover

Z3 built from an arbitrary commit and packaged for dotnet.