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.