The download links on this page provide the (C/C++) sources for veriT.
The current version (201107) of veriT is distributed under the BSD license. Click here to start downloading.
The build and compile procedure of veriT downloads and compiles the sources of the multiple precision arithmetic library GNU MP, released under the GNU LGPL.
veriT has an option to use an external superposition-based automatic theorem prover.
To use this option, you will need a working version of the
E-prover.
