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