portage://sci-mathematics/btor2tools (1 version)