NuGet Gallery | Packages matching Tags:"smt"

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

81,888 total downloads
last updated 1/14/2023
Latest version: 4.12.0

smt constraint solver theorem prover

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

54,684 total downloads
last updated 1/14/2023
Latest version: 4.12.0

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

9,882 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.

ZenLib by: msrspock

19,195 total downloads
last updated 2/28/2023
Latest version: 3.1.2

zen zenlib modeling constraint solving verification smt solver binary decision More tags

A library that simplifies building verification tools in .NET

Tipi.Tools.Email.EmailSender by: tipicode

1,723 total downloads
last updated 7/27/2022
Latest version: 1.0.9

c# SMT Sender Email mail

This package is making it easier to interact with SMTsender

Z3-20190104 by: hillerstorm

1,118 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.

MultiPlug.Ext.ASM.DEK by: 4IR

2,717 total downloads
last updated 1/21/2021
Latest version: 1.0.5

ASM DEK Printing SMT Stencil Edge Fog_Computing Edge_Computing

MultiPlug Extension for ASM DEK Printing Machines

Z3.Linq

by: endjin

1,160 total downloads
last updated 2/15/2022
Latest version: 1.0.3

Z3 LINQ Solver SMT Bart De Smet

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

1,809 total downloads
last updated 3/7/2023
Latest version: 1.5.0

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

921 total downloads
last updated 2/15/2022
Latest version: 1.0.3

Z3 LINQ Solver SMT Examples Sudoku Bart De Smet

Sample Theorems for Sudoku and River Crossing problems.

vsteam.Z3.M1 by: mxprshn

307 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

ZenLib.Generators by: msrspock

1,225 total downloads
last updated 4/26/2022
Latest version: 0.1.3

zen zenlib modeling constraint solving verification smt solver binary decision More tags

Automatic generation of Zen field access methods.

12 packages returned for Tags:"smt"