NuGet Gallery | Packages matching Tags:"smt"

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

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

Symbolica.Z3 by: Symbolica

Z3 built from an arbitrary commit and packaged for dotnet.

ZenLib by: msrspock

8,546 total downloads
last updated 5/20/2022
Latest version: 2.2.3
zen zenlib modeling constraint solving verification smt solver binary decision More tags

A library that simplifies building verification tools in .NET

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

Z3.Linq

by: endjin

LINQ bindings for Z3, a satisfiability modulo theories solver from Microsoft Research. Based on a proof of concept from Bart De Smet.

IPC.HERMES9852.Models by: 4IR

444 total downloads
last updated 5/12/2022
Latest version: 1.4.3
IPC IPC_HERMES_9852 Hermes 9852 The_Hermes_Standard SMT Industry40 Smart_Factory

XML Messaging Models for IPC-HERMES-9852 'The Hermes Standard'

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

by: endjin

Sample Theorems for Sudoku and River Crossing problems.

ZenLib.Generators by: msrspock

Automatic generation of Zen field access methods.

10 packages returned for Tags:"smt"