10 packages
returned for Tags:"smt"
Z3 is a satisfiability modulo theories solver from Microsoft Research.
Linux Dependencies:
libgomp.so.1 installed
Z3 is a satisfiability modulo theories solver from Microsoft Research.
Linux Dependencies:
libgomp.so.1 installed
Z3 built from an arbitrary commit and packaged for dotnet.
A library that simplifies building verification tools in .NET
Z3 is a satisfiability modulo theories solver from Microsoft Research.
MultiPlug Extension for ASM DEK Printing Machines
LINQ bindings for Z3, a satisfiability modulo theories solver from Microsoft Research. Based on a proof of concept from Bart De Smet.
XML Messaging Models for IPC-HERMES-9852 'The Hermes Standard'
Sample Theorems for Sudoku and River Crossing problems.
Automatic generation of Zen field access methods.