cvc4-1.4

c → include Relation

File in src/bindings/compat/cIncludes file in src/include
c_interface.hcvc4_public.h
c_interface_defs.hcvc4_public.h