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