Links to tools by subject

Scala library for parsing and printing the SMT-LIB format

Constraint solver based on coverage-guided fuzzing

Rust Bindings to interact with SMTLIB2 compliant solvers

A high-level API for interacting with SMT solvers.

Testing and benchmarking tool for logic-related programs.

An interactive development environment for SMT-LIB files and Z3

A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

A parser and some utils for SMTLIB. For a fully compliant parser, see https://github.com/Gbury/dolmen/.

An encoding, decoding & utility library for S-expressions in Rust

A diabolic implementation of mcSAT 😈

Regular Invariant Generator and SMTLIB2 code transformer

Simple Mail Transfer Protocol using Java script and Python

A monad for interfacing with external SMT solvers

[obsolete] parser for https://github.com/tip-org/

Symbolic encoding of a C program.

Python-based robot with pre-programmed functionality to respond to user requests aids in day to day work inspired by sci-fi movies. Smart enough to send emails to different contacts over voice command. Technologies used: Pyttsx3 and speech recognition module.

uran: A small engine for creating formulas accepted by SMT solver.

A script that sends email if amazon.pl product price drops.

A translator from TPTP to SMT-LIB