smtlib

Links to tools by subject

Constraint solver based on coverage-guided fuzzing

Scala library for parsing and printing the SMT-LIB format

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

Testing and benchmarking tool for logic-related programs.

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

An interactive development environment for SMT-LIB files and Z3

Rust Bindings to interact with SMTLIB2 compliant solvers

A diabolic implementation of mcSAT 😈

An SMT-LIB parser in Prolog

Regular Invariant Generator and SMTLIB2 code transformer

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

λama is a work in progress!

SMTLIB syntax highlighting for Sublime Text 3

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

In this project, we have automated the synthesis of loop invariants for a for a very small programming language. It converts SMT-Lib files into SMT2

A tiny utility library for building z3-powered JavaScript.

Verification Condition Generator for a Simple Imperative Language and a Guarded Command Language

A high-level API for interacting with SMT solvers.