cvc4-1.4

compat → util Relation

File in src/compatIncludes file in src/util
cvc3_compat.hexception.h
cvc3_compat.hhash.h