cprover

cvc → flattening Relation

File in solvers/cvcIncludes file in solvers/flattening
cvc_conv.hpointer_logic.h