The authors, designers, and main contributors to cvc5 are listed below. cvc5's copyright is held by these individuals and the affiliated institutions at the time of their contributions (note that some authors have had more than one affiliated institution). See the file COPYING for details on the copyright and licensing of cvc5. The developers and authors of cvc5 are: Current: Leni Aniva, Stanford University Haniel Barbosa, The University of Iowa, Universidade Federal de Minas Gerais Clark Barrett, New York University, Google, Stanford University Hanna Lachnitt, Stanford University Daniel Larraz, The University of Iowa Abdalrhman Mohamed, The University of Iowa Mudathir Mohamed, The University of Iowa Aina Niemetz, Stanford University Alex Ozdemir, Stanford University Mathias Preiner, Stanford University Andrew Reynolds, The University of Iowa, EPFL Hans-Jörg Schurr, The University of Iowa Cesare Tinelli, The University of Iowa Amalee Wilson, Stanford University Yoni Zohar, Stanford University Alumni: Kshitij Bansal, New York University, Google Francois Bobot, The University of Iowa, Commissariat a l'Energie Atomique Martin Brain, University of Oxford Vinicius Camillo, Universidade Federal de Minas Gerais Christopher Conway, New York University, Google Morgan Deters, New York University Liana Hadarean, New York University, Mentor Graphics Corporation Ahmed Irfan, Stanford University Dejan Jovanovic, New York University, SRI International Guy Katz, New York University, Stanford University Tim King, New York University, Universite Joseph Fourier, Google Gereon Kremer, Stanford University Tianyi Liang, The University of Iowa Makai Mann, Stanford University Paul Meng, The University of Iowa Andres Noetzli, Stanford University Ying Sheng, Stanford University Other contributors to the cvc5 codebase are listed in the THANKS file. cvc5 is the fifth in the CVC series of tools (CVC, CVC Lite, CVC3, CVC4) but does not directly incorporate code from any previous version prior to CVC4. Information about authors of previous CVC tools is included with their distributions. cvc5 contains MiniSAT code by Niklas Een and Niklas Sorensson.