1 The authors, designers, and main contributors to cvc5 are listed below.
2 cvc5's copyright is held by these individuals and the affiliated
3 institutions at the time of their contributions (note that some authors have
4 had more than one affiliated institution). See the file COPYING for details on
5 the copyright and licensing of cvc5.
7 The developers and authors of cvc5 are:
10 Haniel Barbosa, The University of Iowa, Universidade Federal de Minas Gerais
11 Clark Barrett, New York University, Google, Stanford University
12 Martin Brain, University of Oxford
13 Ahmed Irfan, Stanford University
14 Gereon Kremer, Stanford University
15 Makai Mann, Stanford University
16 Abdalrhman Mohamed, The University of Iowa
17 Mudathir Mohamed, The University of Iowa
18 Aina Niemetz, Stanford University
19 Andres Noetzli, Stanford University
20 Alex Ozdemir, Stanford University
21 Mathias Preiner, Stanford University
22 Andrew Reynolds, The University of Iowa, EPFL
23 Ying Sheng, Stanford University
24 Cesare Tinelli, The University of Iowa
25 Yoni Zohar, Stanford University
28 Kshitij Bansal, New York University, Google
29 Francois Bobot, The University of Iowa, Commissariat a l'Energie Atomique
30 Christopher Conway, New York University, Google
31 Morgan Deters, New York University
32 Liana Hadarean, New York University, Mentor Graphics Corporation
33 Dejan Jovanovic, New York University, SRI International
34 Guy Katz, New York University, Stanford University
35 Tim King, New York University, Universite Joseph Fourier, Google
36 Tianyi Liang, The University of Iowa
37 Paul Meng, The University of Iowa
39 Other contributors to the cvc5 codebase are listed in the THANKS file.
41 cvc5 is the fifth in the CVC series of tools (CVC, CVC Lite, CVC3) but does
42 not directly incorporate code from any previous version prior to CVC4.
43 Information about authors of previous CVC tools is included with their
46 cvc5 contains MiniSAT code by Niklas Een and Niklas Sorensson.
48 The cvc5 parser incorporates some code from ANTLR3, by Jim Idle, Temporal