smt topic

[research] A modular SMT solver in OCaml, based on mcSAT

c-cube

SMT based attacks on non cryptographic PRNGs

deut-erium

ANTLR SMT-LIB v2 Grammar

julianthome

Formally prove properties of Haskell programs using SBV/SMT.

LeventErkok

Kryptonite for Kafka is a client-side 🔒 field level 🔓 cryptography library for Apache Kafka® offering a Kafka Connect SMT, ksqlDB UDFs, and a standalone HTTP API service. It's an ! UNOFFICIAL ! comm...

hpgrahsl

Material for a workshop on Apalache and TLA+. To be populated with more examples.

informalsystems

Haskell bindings to Microsoft's Z3 API (unofficial).

IagoAbal

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

Gbury

Byzantine model checker

konnov

The ISLa (Input Specification Language) language & solver.

rindPHI