We stand against the racism and violence the Black community is subjected to. Black Lives Matter.

NuGet.org will permanently remove support for TLS 1.0 and 1.1 on June 15th. Please ensure that your systems use TLS 1.2.

4 packages returned for Tags:"smt"

Hide prerelease

Microsoft.Z3.x64 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

Z3-20190104 by: hillerstorm

Z3 is a satisfiability modulo theories solver from Microsoft Research.

MultiPlug.Ext.ASM.DEK by: 4IR

MultiPlug Extension for ASM DEK Printing Machines

ZenLib by: msrspock

A library that simplifies building verification tools in .NET