cvc4-1.4

smt → theory Relation

File in src/smtIncludes file in src/theory
options.hlogic_info.h
smt_engine.hlogic_info.h