Skip To Content
Toggle navigation
Packages
Upload
Statistics
Documentation
Downloads
Blog
Sign in
Advanced search filters
Frameworks
Include compatible frameworks
Framework Filter Mode
ALL
ANY
.NET
net8.0
net7.0
net6.0
net5.0
.NET Core
netcoreapp3.1
netcoreapp3.0
netcoreapp2.2
netcoreapp2.1
netcoreapp2.0
netcoreapp1.1
netcoreapp1.0
.NET Standard
netstandard2.1
netstandard2.0
netstandard1.6
netstandard1.5
netstandard1.4
netstandard1.3
netstandard1.2
netstandard1.1
netstandard1.0
.NET Framework
net481
net48
net472
net471
net47
net462
net461
net46
net452
net451
net45
net40
net35
net30
net20
Package type
All types
Dependency
.NET tool
Template
Options
Include prerelease
11 packages returned for Tags:"Symbolica"
Sort by
Relevance
Downloads
Recently updated
Symbolica.
Extensions.
Configuration.
FSharp
by:
Symbolica
.NET 5.0
153,005 total downloads
last updated
11/25/2021
Latest version:
0.4.0
Symbolica
FSharp
dotnet
Configuration
Extensions
Package Description
Symbolica.
Collection
by:
Symbolica
.NET 5.0
114,394 total downloads
last updated
6/7/2021
Latest version:
0.2.0-z3-test0029
Symbolica
Symbolic
Execution
Package Description
Symbolica.
Expression
by:
Symbolica
.NET 5.0
137,867 total downloads
last updated
6/7/2021
Latest version:
0.2.0-z3-test0029
Symbolica
Symbolic
Execution
Package Description
Symbolica.
Deserialization
by:
Symbolica
.NET 5.0
90,034 total downloads
last updated
6/7/2021
Latest version:
0.2.0-z3-test0029
Symbolica
Symbolic
Execution
Package Description
Symbolica.
Abstraction
by:
Symbolica
.NET 5.0
127,379 total downloads
last updated
6/7/2021
Latest version:
0.2.0-z3-test0029
Symbolica
Symbolic
Execution
Package Description
Symbolica.
Computation
by:
Symbolica
.NET 5.0
87,186 total downloads
last updated
6/7/2021
Latest version:
0.2.0-z3-test0029
Symbolica
Symbolic
Execution
Package Description
Symbolica.
Implementation
by:
Symbolica
.NET 5.0
107,067 total downloads
last updated
6/7/2021
Latest version:
0.2.0-z3-test0029
Symbolica
Symbolic
Execution
Package Description
Symbolica.
Representation
by:
Symbolica
.NET 5.0
99,398 total downloads
last updated
6/7/2021
Latest version:
0.2.0-z3-test0029
Symbolica
Symbolic
Execution
Package Description
Symbolica.
Execution
by:
Symbolica
.NET 5.0
10,508 total downloads
last updated
5/28/2021
Latest version:
0.2.0-pullrequest0020-0017-3c841c2
Symbolica
Symbolic
Execution
Package Description
Symbolica.
LLVMSharp
by:
Symbolica
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
11,330 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
.NET 5.0
.NET Core 1.0
.NET Standard 1.4
.NET Framework 4.6.1
14,058 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.