cvc4-1.4

compat → include Relation

File in src/bindings/compatIncludes file in src/include
c / c_interface.hcvc4_public.h
c / c_interface_defs.hcvc4_public.h