pySMT: A library for SMT formulae manipulation and solving

Links to tools by subject

The Yices SMT Solver

OCamlPro public development repository for Alt-Ergo

CoreIR Symbolic Analyzer

Kotlin/Java API for various SMT solvers

SMT solver for the theory of floating-point arithmetic

Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.

EMME: ECMAScript Memory Model Evaluator

Yet Another Sat solvER

Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)

Solving the MCVRP problem using: Constraint Programming, Satisfiability Module Theory and Mixed Integers Linear Programming.

Solving the two-dimensional strip packing problem, using several combinatorial decision making and optimization approaches: Constraint Programming, Boolean SATisfiability, Satisfiability Modulo Theory; Integer Linear Programming.

A decentralized resource management framework for deploying latency-sensitive IoT applications on resource-constrained edge devices.

Very Large Scale Integration project for CDMO class at @unibo

CP, SAT and SMT implementation of the PWP

Integration Property Language

Demonstrations of a Python Satisfiability Modulo Theory (SMT) solver in action used to solve Suko & Sudoku puzzles

A lightweight tool for the visualization and analysis of event log files (JSON format) generated by SAT, ASP, SMT and other kinds of constraint solvers