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.