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