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)

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

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

Rust Bindings to interact with SMTLIB2 compliant solvers

A monad for interfacing with external SMT solvers

Regular Invariant Generator and SMTLIB2 code transformer

A diabolic implementation of mcSAT 😈

An SMT-LIB parser in Prolog

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

λama is a work in progress!

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

SMTLIB syntax highlighting for Sublime Text 3

CraveCrafters is an AI-powered food ordering web application that seamlessly integrates a chatbot to assist users with menu browsing, order placement, and customer service. The system features a Node.js backend, a FastAPI-based chatbot, and an interactive frontend built with HTML, CSS, and JavaScript. It utilizes MongoDB as its database.

Two SMT-based Fillomino solvers

Verification Condition Generator