-
Notifications
You must be signed in to change notification settings - Fork 226
/
AUTHORS
52 lines (46 loc) · 2.18 KB
/
AUTHORS
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
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.