cvc4-1.4
compat Directory Reference

Files

file  cvc3_compat.h [code]
 CVC3 compatibility layer for CVC4.