# All Tools | Formal Methods Tools
Keywords: Formal Methods Tools

# All Tools

This page lists all of the tools on this site in alphabetical order. Click a tool name in the first column to view tool details. Click a colorful item in the second column to view all the tools for which that term applies. Item colors mean nothing and are intended to make it easy to skim the page. Colors are generated by hashing each term’s name and converting it to RGB color values.

Tool | Applications | Developers
--- | --- | ---
Glucose | SAT Solver | Gilles Audemard Laurent Simon
Lingeling | SAT Solver | Johannes Kepler Universität Linz
MathSAT | SMT Solver | Fondazione Bruno Kessler DISI-University of Trento
MiniSat | SAT Solver | Niklas Eén Niklas Sörensson
OpenSMT | SMT Solver | University of Lugano
ParaFROST | SAT Solver | Eindhoven University of Technology Albert-Ludwigs-Universität
Q3B | SMT Solver | Masaryk University
Riss | SAT Solver | Norbert Manthey
SMT-RAT | SMT Solver SAT Solver | RWTH Aachen
SMTInterpol | SMT Solver | University of Freiburg
STP | Constraint Solver SMT Solver Theorem Prover | University of Illinois Stanford University
veriT | SMT Solver | LORIA ULiege
Yices 2 | SMT Solver SAT Solver | SRI International
Z3 | SMT Solver Theorem Prover SAT Solver | Microsoft Research