Bug-Database: https://github.com/hwmcc/btor2tools/issues
Reference:
 - Author: A. Niemetz and M. Preiner and C. Wolf, C. and A. Biere
   Title: BTOR2 , BtorMC and Boolector 3.0
   Journal: Springer Nature Link
   Year: 2018
Repository: https://github.com/hwmcc/btor2tools.git
Repository-Browse: https://github.com/hwmcc/btor2tools
   DOI: 10.1007/978-3-319-96145-3_32
   eprint: https://link.springer.com/content/pdf/10.1007/978-3-319-96145-3.pdf
