cvc4-1.4

prop → include Relation

File in src/propIncludes file in src/include
options.hcvc4_public.h
sat_solver_factory.hcvc4_public.h