Note: CVC is no longer
It is replaced by CVC Lite.
In particular, known bugs will no longer be fixed
CVC is a program for checking logical validity of certain kinds of
formulas. The formulas can contain propositional operators like AND,
OR, NOT, and => ("implies"). They can also contain equations between
certain mathematical terms, and atomic formulas like "x < y". An