14 packages returned for Tags:"smt"

Sort by

Microsoft.Z3
by: Microsoft Z3Prover
- .NET 5.0 .NET Core 2.0 .NET Standard 2.0 .NET Framework 4.6.1
- 231,843 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,158 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,478 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
- .NET 5.0 .NET Core 3.0 .NET Standard 2.1
- 30,603 total downloads
- last updated 10/23/2023
- Latest version: 3.1.6
- 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
- .NET 6.0
- 2,899 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.Linq
by: endjin
- .NET 8.0
- 2,426 total downloads
- last updated 3/18/2024
- Latest version: 2.0.1
- 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.
VSTeam.Z3
by: VSharpTeam
- .NET 6.0
- 2,639 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,578 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.
IPC.HERMES9852.Models
by: 4IR
- .NET Framework 4.7.2
- 3,681 total downloads
- last updated 4/17/2024
- Latest version: 1.5.4
- IPC IPC_HERMES_9852 Hermes 9852 The_Hermes_Standard SMT Industry40 Smart_Factory
XML Messaging Models for IPC-HERMES-9852 'The Hermes Standard'
MultiPlug.Ext.ASM.DEK
by: 4IR
- .NET Framework 4.7.2
- 3,640 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
SMTTech.MES.API.Entities
by: smttech
- .NET 8.0
- 429 total downloads
- last updated 4/24/2024
- Latest version: 1.0.1
- MES SMD SMT
Package Description
vsteam.Z3.M1
by: mxprshn
- .NET 6.0
- 1,061 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
Z3.Linq.Examples
by: endjin
- .NET 8.0
- 1,774 total downloads
- last updated 3/18/2024
- Latest version: 2.0.1
- Z3 LINQ Solver SMT Examples Sudoku Bart De Smet
Sample Theorems for Sudoku and River Crossing problems.
ZenLib.Generators
by: msrspock
- 2,403 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.