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.