cvc4-1.4

booleans → options Relation

File in src/theory/booleansIncludes file in src/options
options.hoptions.h