13 packages returned for Tags:"smt"

Sort by

Microsoft.Z3
by: Microsoft Z3Prover
- 135,697 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
- 63,208 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
- 12,732 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
- 24,524 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
- 2,278 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
- 1,614 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.
Z3-20190104
by: hillerstorm
- 1,248 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
- 3,084 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
IPC.HERMES9852.Models
by: 4IR
- 2,731 total downloads
- last updated 7/21/2023
- Latest version: 1.5.2
- IPC IPC_HERMES_9852 Hermes 9852 The_Hermes_Standard SMT Industry40 Smart_Factory
XML Messaging Models for IPC-HERMES-9852 'The Hermes Standard'
vsteam.Z3.M1
by: mxprshn
- 747 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
- 1,197 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.
ZenLib.Generators
by: msrspock
- 1,907 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.
VSTeam.Z3
by: VSharpTeam
- 211 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