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