sci-mathematics/cvc4-1.8-r5
