cvc4-1.4

bindings → include Relation

File in src/bindingsIncludes file in src/include
compat / c / c_interface.hcvc4_public.h
compat / c / c_interface_defs.hcvc4_public.h