The main authors and developers of the Btor2Tools package are:

Armin Biere, Johannes Kepler University Linz
Aina Niemetz, Johannes Kepler University Linz, Stanford University
Mathias Preiner, Johannes Kepler University Linz, Stanford University

The Btor2Tools package's copyright is held by these individuals and the
affiliated institutions at the time of their contributions.