Microsoft.Z3.x64 by: Microsoft Z3Prover 41,070 total downloads last updated 1/20/2021 Latest version: 4.8.10 smt constraint solver theorem prover Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed
ZenLib by: msrspock 3,100 total downloads last updated 1/5/2021 Latest version: 1.1.5 zen zenlib constraint solving verification smt binary decision diagrams diagram A library that simplifies building verification tools in .NET
Z3-20190104 by: hillerstorm 694 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 1,512 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 86 total downloads last updated 1/21/2021 Latest version: 1.0.0 IPC IPCHERMES9852 The_Hermes_Standard Hermes SMT Industry40 XML Messaging Models for IPC-HERMES-9852 'The Hermes Standard'