👋 What do you think about NuGet.org? We're looking for feedback from developers like you. Take the survey.

11 packages returned for Tags:"theorem"

Sort by

Microsoft.Z3
by: Microsoft Z3Prover
- 136,694 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,279 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,733 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
- 2,965 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
- 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.
Nymph
by: allisterb
- 344 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
- 751 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
- 197 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
- 227 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
Calcolemus
by: do-masin
- Deprecated
- 123 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#
Calculemus
by: do-masin
- 112 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#