7 packages returned for Tags:"theorem"

Microsoft.Z3 The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org.

by: Microsoft Z3Prover

Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed

Microsoft.Z3.x86 The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org.

by: Microsoft Z3Prover

Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed

Symbolica.Z3 by: Symbolica

Z3 built from an arbitrary commit and packaged for dotnet.

Sylph by: allisterb

F# language-integrated proof assistant.

Z3-20190104 by: hillerstorm

Z3 is a satisfiability modulo theories solver from Microsoft Research.

Nymph by: allisterb

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

Microsoft Z3 SMT solver rebuilt with .NET 6.0 bindings for Apple M1 chips. NB: only macOS binaries are included