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:"theorem"
Sort by
Relevance
Downloads
Recently updated
Microsoft.
Z3
by:
Microsoft
Z3Prover
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
162,735 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
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.6.1
65,617 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
.NET 5.0
.NET Core 1.0
.NET Standard 1.4
.NET Framework 4.6.1
14,039 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.
Sylph
by:
allisterb
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.5
3,147 total downloads
last updated
5/3/2020
Latest version:
0.2.5.2
math
logic
theorem
prover
F# language-integrated proof assistant.
Z3-
20190104
by:
hillerstorm
.NET 5.0
.NET Core 1.0
.NET Standard 1.4
.NET Framework 4.6.1
1,367 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.
Nymph
by:
allisterb
.NET 5.0
.NET Core 2.0
.NET Standard 2.0
.NET Framework 4.5
354 total downloads
last updated
6/24/2020
Latest version:
0.1.0-alpha
math
logic
theorem
prover
Nymph is a natural language theorem prover that uses natural language to state and write proofs of logical and mathematical theorems.
vsteam.
Z3.
M1
by:
mxprshn
.NET 6.0
798 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
FolAutomReas
by:
do-masin
Deprecated
.NET 7.0
267 total downloads
last updated
9/16/2023
Latest version:
1.0.3
logic
automated
reasoning
interactive
theorem
proving
Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning" ported in F#
VSTeam.
Z3
by:
VSharpTeam
.NET 6.0
508 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
Calculemus
by:
do-masin
.NET 7.0
237 total downloads
last updated
11/5/2023
Latest version:
1.0.6
logic
automated
reasoning
interactive
theorem
proving
Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning" ported in F#
Calcolemus
by:
do-masin
Deprecated
.NET 7.0
233 total downloads
last updated
10/26/2023
Latest version:
1.0.5
logic
automated
reasoning
interactive
theorem
proving
Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning" ported in F#