Skip To Content
Toggle navigation
Packages
Upload
Statistics
Documentation
Downloads
Blog
Sign in
Frameworks
.NET
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
5 packages returned for Tags:"Z3"
Sort by
Relevance
Downloads
Recently updated
FiniteModelChecker
by:
ahelwer
3,161 total downloads
last updated
8/22/2018
Latest version:
1.0.1
z3
test
testing
A finite model checking framework for C# code
Symbolica.
Z3
by:
Symbolica
10,090 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.
Z3.
Linq
by:
endjin
1,350 total downloads
last updated
2/15/2022
Latest version:
1.0.3
Z3
LINQ
Solver
SMT
Bart
De
Smet
LINQ bindings for Z3, a satisfiability modulo theories solver from Microsoft Research. Based on a proof of concept from Bart De Smet.
FsZ3
by:
henrik feldt
1,066 total downloads
last updated
1/19/2017
Latest version:
1.0.0
z3
fsharp
constraint
solver
SAT
This is a F# Z3 API wrapper
Z3.
Linq.
Examples
by:
endjin
1,028 total downloads
last updated
2/15/2022
Latest version:
1.0.3
Z3
LINQ
Solver
SMT
Examples
Sudoku
Bart
De
Smet
Sample Theorems for Sudoku and River Crossing problems.