cvc4 lib.