sci-mathematics@gentoo.org Gentoo Mathematics Project https://github.com/Boolector/btor2tools/issues/ Boolector/btor2tools