Skip To Content
Toggle navigation
Packages
Upload
Statistics
Documentation
Downloads
Blog
Sign in
Advanced search filters
Frameworks
.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
13 packages returned for Tags:"smt"
Sort by
Relevance
Downloads
Recently updated
Microsoft.
Z3
by:
Microsoft
Z3Prover
135,697 total downloads
last updated
5/12/2023
Latest version:
4.12.2
smt
constraint
solver
theorem
prover
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed
Microsoft.
Z3.
x86
by:
Microsoft
Z3Prover
63,208 total downloads
last updated
5/12/2023
Latest version:
4.12.2
smt
constraint
solver
theorem
prover
Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed
Symbolica.
Z3
by:
Symbolica
12,732 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.
ZenLib
by:
msrspock
24,524 total downloads
last updated
10/23/2023
Latest version:
3.1.6
zen
zenlib
modeling
constraint
solving
verification
smt
solver
binary
decision
More tags
A library that simplifies building verification tools in .NET
Tipi.
Tools.
Email.
EmailSender
by:
tipicode
2,278 total downloads
last updated
7/27/2022
Latest version:
1.0.9
c#
SMT
Sender
Email
mail
This package is making it easier to interact with SMTsender
Z3.
Linq
by:
endjin
1,614 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.
Z3-
20190104
by:
hillerstorm
1,248 total downloads
last updated
1/4/2019
Latest version:
4.8.4
smt
constraint
solver
theorem
prover
Z3 is a satisfiability modulo theories solver from Microsoft Research.
MultiPlug.
Ext.
ASM.
DEK
by:
4IR
3,084 total downloads
last updated
1/21/2021
Latest version:
1.0.5
ASM
DEK
Printing
SMT
Stencil
Edge
Fog_Computing
Edge_Computing
MultiPlug Extension for ASM DEK Printing Machines
IPC.
HERMES9852.
Models
by:
4IR
2,731 total downloads
last updated
7/21/2023
Latest version:
1.5.2
IPC
IPC_HERMES_9852
Hermes
9852
The_Hermes_Standard
SMT
Industry40
Smart_Factory
XML Messaging Models for IPC-HERMES-9852 'The Hermes Standard'
vsteam.
Z3.
M1
by:
mxprshn
747 total downloads
last updated
11/8/2022
Latest version:
4.8.11-alpha.2
smt
constraint
solver
theorem
prover
macos
m1
Microsoft Z3 SMT solver rebuilt with .NET 6.0 bindings for Apple M1 chips. NB: only macOS binaries are included
Z3.
Linq.
Examples
by:
endjin
1,197 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.
ZenLib.
Generators
by:
msrspock
1,907 total downloads
last updated
4/26/2022
Latest version:
0.1.3
zen
zenlib
modeling
constraint
solving
verification
smt
solver
binary
decision
More tags
Automatic generation of Zen field access methods.
VSTeam.
Z3
by:
VSharpTeam
211 total downloads
last updated
10/25/2023
Latest version:
4.11.2-alpha
smt
constraint
solver
theorem
prover
macos
m1
Microsoft Z3 SMT solver, which supports .NET 6.0 bindings for Apple M1 chips