# OpenSMT | Formal Methods Tools
OpenSMT is a compact and open-source SMT-solver written in C++, with the main goal of making SMT-Solvers easy to understand and use as a computational engine
Keywords: Formal Methods Tools

# OpenSMT

SMT Solver

- Homepage
- Source Code

## At a Glance

Applications | SMT Solver
Developers | University of Lugano
Inputs | SMTLIB2
Interfaces | CLI
Licenses | GPLv3
Maintenance | Actively Maintained

## Description

OpenSMT is a compact and open-source SMT-solver written in C++, with the main goal of making SMT-Solvers easy to understand and use as a computational engine for formal verification. OpenSMT is built on top of MiniSAT.