veriT relies on third-party software. These external resources are used either as libraries or as stand-alone applications. They are:
- GNU MP
- The GNU Multiple Precision Arithmetic Library is used to represent and manipulate numerical value. It is distributed under the GNU LGPL.
- MiniSat
- This SAT-solver is used to represent and manipulate the boolean structure of the formulas. It is distributed under the MIT licence.
- E
- The E equational theorem prover is a first-order logic theorem prover based on the superposition calculus. It is used as a standalone application and must be installed on the computer where veriT is executed. It is released under the GNU GPL.
veriT is used or being integrated with other software, such as:
