cvc4-1.4

compat → smt Relation

File in src/compatIncludes file in src/smt
cvc3_compat.hsmt_engine.h