Links for cvc4-solver