1The main authors and developers of the Btor2Tools package are:
2
3Armin Biere, Johannes Kepler University Linz
4Aina Niemetz, Johannes Kepler University Linz, Stanford University
5Mathias Preiner, Johannes Kepler University Linz, Stanford University
6
7The Btor2Tools package's copyright is held by these individuals and the
8affiliated institutions at the time of their contributions.
9