The main authors and developers of Bitwuzla are:

  Aina Niemetz, Stanford University.
  Mathias Preiner, Stanford University.

Bitwuzlas's copyright is held by these individuals and the affiliated
institutions at the time of their contributions.  See the file COPYING for
details on the copyright and licensing of Bitwuzla.
