5 packages returned for Tags:"smt"

Package type

All types

Dependency

.NET tool

Template

Sort by

Relevance

Downloads

Recently updated

Options

Include 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

ZenLib by: msrspock

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

IPC.HERMES9852.Models by: 4IR

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