cvc4-1.4

compat → include Relation

File in src/compatIncludes file in src/include
cvc3_compat.hcvc4_public.h