cvc4-1.4

booleans → include Relation

File in src/theory/booleansIncludes file in src/include
options.hcvc4_public.h