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

# All Taxonomy Data

This page contains all of the taxonomy data on this site. There is a lot here, it might be helpful to do a CTRL+F. Click on an item in the first column to focus the view onto one taxonomy (e.g., to view a list of tool developers). Click on a colorful item in the second column to view all the tools for which that term applies (e.g., to view all the tools developed at SRI International).

Applications | Constraint Solver SAT Solver SMT Solver Theorem Prover
Developers | LORIA Masaryk University Microsoft Research Norbert Manthey RWTH Aachen SRI International Stanford University ULiege University of Freiburg University of Illinois
Inputs | DIMACS SMTLIB2 Yices 2
Interfaces | .NET C C++ CLI Java Online Python Rust
Licenses | BSD GPLv3 LGPLv2 MIT
Maintenance | Actively Maintained Not Maintained