11 packages returned for Tags:"theorem"

Sort by

Microsoft.Z3
by: Microsoft Z3Prover
- .NET 5.0 .NET Core 2.0 .NET Standard 2.0 .NET Framework 4.6.1
- 235,526 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
- 70,449 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
- 17,646 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,700 total downloads
- last updated 5/3/2020
- Latest version: 0.2.5.2
- math logic theorem prover
F# language-integrated proof assistant.
VSTeam.Z3
by: VSharpTeam
- .NET 6.0
- 2,663 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
Z3-20190104
by: hillerstorm
- .NET 5.0 .NET Core 1.0 .NET Standard 1.4 .NET Framework 4.6.1
- 1,594 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
- 415 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
- 1,124 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
- 375 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#
Calcolemus
by: do-masin
- Deprecated
- .NET 7.0
- 292 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
- .NET 7.0
- 300 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#

; ;