smt topic

Datalog with support for SMT queries and first-order functional programming

HarvardPL

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

nicolasAmat

Sparse Merkle tree for a key-value map.

al8n

An aggregate of MEV resources, libraries, research papers, and strategies.

0xOsiris

This plugin allows you to configure email notifications for build results

jenkinsci

transform-to-json-string is a Single Message Transformation (SMT) for Apache Kafka® Connect to convert a given Connect Record to a single JSON String. It's an UNOFFICIAL community project.

an0r0c

A monadic library for symbolic evaluation

lsrcz

An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges

hadipourh

This guide has the basic requirments to place a SMT Assembly order with some tips on how to fix the misplacement and orientation of SMD parts

JLCPCB

This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.

bgamari