veriT has been initiated and is developed by:
- David Déharbe ()
- Pascal Fontaine ().
In case you are interested in participating in the development of a SMT-solver, you may want to join the team of developers of veriT.
Others have contributed developments. They are:
- Diego Caminha Barbosa de Oliveira has developed the arithmetic reasoning module and contributed to the combination framework in the theory reasoning engine.
- Thomas Bouton. Thomas has contributed to the QA infrastructure and the integration of the SAT solver with the theory reasoning engine.
