forked from Boolector/boolector
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathAUTHORS
28 lines (20 loc) · 1.28 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
The main authors and developers of Boolector are:
Armin Biere (Johannes Kepler University Linz), 2007-2018.
Robert Brummayer (Johannes Kepler University Linz), 2007-2009.
Aina Niemetz (Johannes Kepler University Linz, Stanford University), 2012-2021.
Mathias Preiner (Johannes Kepler University Linz, Stanford University), 2012-2021.
The copyright of Boolector is held by these individuals and the affiliated
institutions at the time of their contributions.
The main authors of BtorMBT are
Armin Biere (Johannes Kepler University), 2013-2016.
Aina Niemetz (Johannes Kepler University Linz, Stanford University), 2013-2021.
Mathias Preiner (Johannes Kepler University Linz, Stanford University), 2013-2021.
Christian Reisenberger (Johannes Kepler University Linz), 2013.
The copyright of BtorMBT is held by these individuals and the affiliated
institutions at the time of their contributions.
The main authors of BtorUntrace are
Aina Niemetz (Johannes Kepler University Linz, Stanford University), 2013-2021.
Mathias Preiner (Johannes Kepler University Linz, Stanford University), 2013-2021.
Christian Reisenberger (Johannes Kepler University Linz), 2013.
The copyright of BtorUntrace is held by these individuals and the affiliated
institutions at the time of their contributions.